Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-11-16

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:00 yaqwsx joined #divine
00:49 divine-buildbot joined #divine
00:57 divine-buildbot Hey! build divine-next-debug #101 is complete: Failure [finished]
01:28 divine-buildbot Hey! build divine-next-debug #102 is complete: Failure [finished]
01:31 divine-buildbot Hey! build divine-nightly-release #17 is complete: Failure [finished]
02:16 divine-buildbot Hey! build divine-next-debug #99 is complete: Failure [finished]
02:21 divine-buildbot Hey! build divine-next-debug #100 is complete: Failure [finished]
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
03:01 divine-buildbot joined #divine
03:14 divine-buildbot joined #divine
03:31 divine-buildbot joined #divine
04:25 divine-buildbot Hey! build divine-nightly-debug #17 is complete: Failure [finished]
06:27 mornfall xstill: nikde jsem nenašel ten konkrétní warning na kterej to s -Werror padá, máš to někde schovaný?
06:28 xstill /home/xstill/DIVINE/divine4/lart/weakmem/pass.cpp:645:13: error: default label in switch which covers all enumeration values [-Werror,-Wcovered-switch-default]
06:33 mornfall a je to explicitně v příkazu jo?
06:33 mornfall tzn. je to tohle, 372     add_flag_if_supported("-Wcovered-switch-default" COVERED_SWITCH_DEFAULT_FLAG)
06:34 xstill je to v příkazu, takže nejspíš ano
06:34 xstill kus příkazu okolo: -Wno-long-long -Wcovered-switch-default -Wnon-virtual-dtor -Werror=date-time -std=c++11
06:34 mornfall LLVM_ENABLE_WARNINGS asi přeskakuje teda
06:34 xstill to C++11 je tam taky těžce podezřelý
06:36 xstill a vůbec, proč máme gnu++14 a ne c++14
06:37 mornfall nevim, nějaký anonymní uniony/struktury nebo něco? můžeš zkusit to prohodit
06:38 mornfall jakou máš hodnotu LLVM_ENABLE_WARNINGS v tom buildu?
06:38 mornfall hm, já tam mam taky ON
06:38 mornfall tak uvidíme jestli to třeba spadne :-)
06:38 mornfall ne, je to zaplý všude
06:39 xstill není spíš možný, že to má být zapnutý, ale jen na LLVM build a ne na celej DIVINE?
06:41 mornfall no, je to pod jiným project()
06:42 xstill právě, já bych čekal, že tím pádem se to na divine debude vztahovat, ale padá to v lartu
06:45 mornfall hm, ono se to propaguje vždy, protože project() nevyrábí scope
06:46 mornfall ale někdy tam ten -Wcovered-switch-default je a jindy není
06:48 mornfall když to přeskočí, taky to přebuildí celý llvm
06:50 xstill to by dávalo smysl, jen nechápu proč to přeskočí, ta definice vypadá celkem rozumně
06:57 xstill zas pokud je to globální tak bych to LLVM_ENABLE_WARNINGS asi vypnul
06:57 xstill no ale stejně, projekt možná nedělá scope, ale adresáře jo, ne?
06:57 mornfall adresáře jo
06:57 mornfall a hlavně teď vidím, že v C flags to mám
06:58 mornfall v CXX nikoliv
06:58 xstill aha, ale ono je to includovaný v top level
06:58 mornfall ano
06:58 xstill u mě to má CXX alespoň podle výpisu v add_flag_if_supported
06:58 xstill v tom padajícím buildu
06:59 mornfall to by bylo divný kdyby se CFLAGS dostalo do překladu .cpp
06:59 xstill taky je divný, že by ten check vrátil chybu
07:00 xstill já to mám v llvm/tools/llvm-config/BuildVariables.inc:24:#define LLVM_CXXFLAGS v build adresáři
07:00 xstill a je to tam dokonce 2x
07:01 mornfall tam to mam taky, ale jen v CFLAGS
07:01 xstill tak to je to co se přepíná potom
07:01 mornfall předpokládám že toolchain se ti nerebuildoval mezi tím kdy to fungovalo a nefungovalo
07:01 xstill máš v CXX_FLAGS -std=c++11?
07:01 xstill ne
07:01 xstill nebo -Wnon-virtual-dtor
07:02 mornfall -std=c++11 ano, non-virtual-dtor nikoliv
07:02 mornfall já mam podezření jestli něco po tom testu omylem nepřeválcuje CMAKE_CXX_FLAGS
07:03 xstill a máš tam -Werror=date-time? to jde přes stejnou detekci
07:04 mornfall ano, mám
07:09 xstill hm, pustil jsem čistej build v jiným adresáři, a je to dost divný, je tam -Wcovered-… ale jen jednou (v tom špatným je 2x), zatím to běží moc krátko abych věděl jestli to projde
07:10 mornfall nicméně zabalím llvm adresáře do function(), tím se aspoň zamezí propagaci té chyby ven z llvm
07:10 mornfall (a nebude nám to prasit CXXFLAGS celkově)
07:11 mornfall podle očekávání to přebuildilo divine ale llvm to nechalo na pokoji, takže to asi funguje jak má
07:12 xstill to jsem zvědavej, jestli to opraví ten rozbitej build
07:15 mornfall no to -Wcovered-switch-default se tam teď nemá jak dostat... zarecordoval jsem to v next-u
07:25 xstill jo, pomohlo to
07:25 mornfall nicméně to neřeší rebuildy llvm
07:25 xstill jo no
07:25 mornfall ale možná se to vyřeší updatem na 3.9
07:25 mornfall takže do toho se mi teď asi nechce moc investovat
07:31 xstill ještě když tak koukám na výstup cmake tak bychom mohli vypnout některé LLVM targety, mělo by stačit mít X86 a CppBackend, ale zas se tím asi moc neušetří (a nijak to nesouvisí s rebuildem)
07:31 spito co se udělalo za změnu, že `make functional T=posixtestsuite` nefunguje, ale názvy ostatních složek se vybrat umí?
07:32 xstill spito: v každém testu musíš být na konci před příponout 1.  až .4 podle velikosti
07:32 xstill viz log
07:32 xstill (darcs log)
07:33 spito jak se rozslišují čísla 1 až 3?
07:34 xstill podle důležitosti
07:34 xstill 1 jsou fakt základní testy, to se tě netýká
07:34 spito takže když všude naflákám 2, nebude to ničemu vadit :D
07:34 xstill no záleží jak dlouho to poběží
07:35 xstill spíš ale 3 asi
07:35 spito ok
07:35 xstill aby to bylo za našimi pthread testy
07:36 xstill třeba ti to mornfall nevrátí
07:43 spito když je to poznačeno jako *.todo.c, jeký je pattern?
07:43 spito *.todo.3.c
07:43 spito *.3.todo.c
07:45 xstill todo.3.c
07:45 xstill to číslo musí být před poslední příponou
08:28 mornfall jo, .2.* je tam teď zbytečně moc, to ještě musim prosekat trochu
08:37 yaqwsx joined #divine
08:40 divine-buildbot Hey! build divine-next-debug #105 is complete: Failure [finished]
09:29 mornfall spito: poke?
09:29 spito eh?
09:29 mornfall spito: ten pthread_cancel test co není todo ti procházel?
09:29 spito hmm, ten by měl být todo
09:29 spito co si pamatuju...
09:30 spito commitoval jsem dnes ráno narychlo, abyste ty testy měly
09:30 spito m*ěli
09:30 spito *měli
09:34 mornfall ok
09:58 divine-buildbot Hey! build divine-next-debug #103 is complete: Failure [finished]
11:36 xstill_ mornfall: jde nějak zvrátit setup --debug-kernel?
11:36 mornfall xstill_: nemyslím :-)
11:37 xstill_ hmm, teď se mi podařilo segfaultnout sim
11:40 xstill_ hm, a stepa --cout 100 by taky mohlo říct, že je něco špatně
11:40 xstill_ a ne udělat stepa
11:41 xstill_ případně zastavení na breakpointu by mohlo říct, že stojí na breakpointu
11:41 mornfall to asi obojí lehce umíme opravit
11:41 mornfall to první jsem si ani nevšim a druhý jsem měl v plánu
11:42 mornfall možná mi to radši napiš na tabuli ale
11:44 xstill_ máš to tam
11:50 xstill_ mornfall: stepa neodpovídá jednomu vygenerovanému stavu?
11:50 xstill_ jde mi o to, že při řešení faultu se stepa zastaví v Syscall::trap
11:50 xstill_ mornfall: stepa neodpovídá jednomu vygenerovanému stavu?
11:50 xstill_ jde mi o to, že při řešení faultu se stepa zastaví v Syscall::trap
11:53 xstill_ takže to vypadá, že se to zastaví na některých voláních __vm_control
11:53 xstill_ ale není mi jasný, která z nich odpovídají stavům
11:53 xstill_ aha, ale on píše, že vygeneroval stav
11:54 xstill_ mornfall: pak máme problém v tom, že divine vygeneruje stav hned po volání fault handleru, takže nemám kdy resetovat flag (jsem pod maskou)
11:55 mornfall pod maskou? to musí asi někdo odmaskovat ne?
11:55 xstill_ hm, to asi musí ten syscall
11:56 xstill_ aby se dostal do scheduleru
11:56 xstill_ ale stejně, scheduler by neměl nechat divine vygenerovat stav v tomto případě, ne?
11:56 xstill_ mornfall: dokážu v simu vypsat control registry?
11:57 mornfall asi ani ne (aspoň nevim)
11:57 xstill_ to by byla celkem fajn funkce pro nás
11:57 xstill_ každopádně teď bych potřeboval vyřešit proč divine vygeneruje ten stav
12:13 xstill_ super, sevg v simu při source, k tomu mám přiojené gdb, tak se přepnu do gdb a dám backtrace a "a problem internal to gdb…"
12:38 divine-buildbot Hey! build divine-next-debug #104 is complete: Failure [finished]
14:20 divine-buildbot Hey! build divine-next-debug #113 is complete: Failure [finished]
15:10 mornfall xstill_: /etc/security/limits.conf (tam lze nastavit defaultní ulimit -c)
15:32 divine-buildbot Hey! build divine-next-debug #106 is complete: Failure [finished]
16:33 yaqwsx Mohl bys to prosím poangličtit? //With _ begins function that are many-times user and recalled.
16:34 yaqwsx spito: ping nahoře :D
18:38 xstill-m joined #divine
18:49 xstill_m joined #divine
20:40 yaqwsx joined #divine
20:55 divine-buildbot Hey! build divine-next-debug #112 is complete: Failure [finished]
22:07 divine-buildbot Hey! build divine-next-debug #114 is complete: Failure [finished]
22:16 divine-buildbot Hey! build divine-next-debug #115 is complete: Failure [finished]
22:19 xstill hm, zatím to moc na current dneska nevypadá
22:19 yaqwsx Co nám tak pořád failuje?
22:20 xstill nevím, timoutuje mi buildbot/paradise/fi a nevím jestli je to u mě nebo na FI
22:28 xstill mornfall: máš u mě nějaké patche
22:28 xstill mornfall: proč se ten openhub aktualizuje tak blbě?
22:29 mornfall test x$TODO no fuj :-)
22:29 mornfall openhub nevim
22:29 mornfall pullnu to zítra
22:30 mornfall právě se spustil nightly, řekl bych
22:30 xstill já měl za to, že pro test by se to tak mělo dělat, ne? kvůli tomu, že to TODO nemusí být nastavený
22:30 mornfall jop
22:30 mornfall xstill: nemělo, to je nějakej zarputilej mýtus
22:31 mornfall "" je stejně dobrej argument jako "x"
22:31 xstill aha, tak já amendnu
22:32 xstill done
22:38 mornfall (jinak je to kvůli tomu, že $TODO by mohlo být třeba -z, ale implementace test která by se rozbila na -z = něco asi už neexistuje)
22:38 mornfall třeba autoconf to tak dělá, ale autoconf dělá spoustu hodně divných věcí
22:51 xstill nojo autoconf
22:55 divine-buildbot Hey! build divine-next-debug #116 is complete: Failure [finished]
23:01 yaqwsx Uf, už si troufám říci, že scheduler funguje (prošla doběhla zatím polovina testů)
23:04 xstill mornfall: viděl jsi to llvm.dbg.value někdy u sebe? začínám mít podezření, že je něco fakt těžce blbě na arke. Protože já to nikde jinde neviděl a tam se to zdá dít celkem často…
23:04 xstill yaqwsx: ty buildíš kde?
23:06 yaqwsx xstill: arke
23:06 xstill a tobě se to nestává?
23:06 yaqwsx Co přesně? Spontání rebuldy? Nn
23:06 xstill ne
23:06 xstill computing RR...LLVM ERROR: Code generator does not support intrinsic function
23:06 xstill 'llvm.dbg.value'!
23:07 yaqwsx 1 se mi to stalo, max dvakrát. Vyřešil rebuild.
23:08 xstill tak nevím
23:15 divine-buildbot Hey! build divine-next-debug #117 is complete: Failure [finished]
23:23 yaqwsx Tak nic, padá sim2 test :/
23:23 yaqwsx Dneska už nemám na to to zdebugovat. Pokračování zítra.
23:26 xstill nějaký sim testy tuším mornfall opravoval
23:41 yaqwsx xstill: Díky, dobré vědět :D

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary