diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-27 16:26:10 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-27 16:26:10 +0100 |
commit | b0b62fc1e92faae5de190e543bc345223855073c (patch) | |
tree | baa1a974ab01079ec866373d1422c28c94bce204 /test/monniaux/picosat-965/make.log | |
parent | 4ef8259d18add24bb589a185d050f4a524385f1f (diff) | |
download | compcert-kvx-b0b62fc1e92faae5de190e543bc345223855073c.tar.gz compcert-kvx-b0b62fc1e92faae5de190e543bc345223855073c.zip |
packaged
Diffstat (limited to 'test/monniaux/picosat-965/make.log')
-rw-r--r-- | test/monniaux/picosat-965/make.log | 592 |
1 files changed, 38 insertions, 554 deletions
diff --git a/test/monniaux/picosat-965/make.log b/test/monniaux/picosat-965/make.log index 09fae44e..07dc3a7e 100644 --- a/test/monniaux/picosat-965/make.log +++ b/test/monniaux/picosat-965/make.log @@ -1,554 +1,38 @@ -../../../ccomp -fall -Wall -O3 -U __SIZEOF_INT128__ -D __SIZE_TYPE__='unsigned long long' -c picosat.c -<command-line>:0:0: warning: "__SIZE_TYPE__" redefined -<built-in>: note: this is the location of the previous definition -picosat.c:1947: warning: comparison between pointer and integer ('Lit *' and 'Val' (aka 'signed char')) -Warning: spilling unspillable x11 - spill queue is: x12 x11 -Warning: spilling unspillable x12 - spill queue is: x12 -Warning: spilling unspillable x15 - spill queue is: x16 x13 x14 x15 -Warning: spilling unspillable x14 - spill queue is: x16 x13 x14 -Warning: spilling unspillable x13 - spill queue is: x16 x13 -Warning: spilling unspillable x16 - spill queue is: x16 -Error: x14 was spilled -Fatal error: uncaught exception File "backend/Regalloc.ml", line 771, characters 8-14: Assertion failed -Raised at file "backend/Regalloc.ml", line 771, characters 8-20 -Called from file "backend/Regalloc.ml" (inlined), line 810, characters 46-76 -Called from file "backend/Regalloc.ml", line 814, characters 19-45 -Called from file "extraction/Maps.ml", line 285, characters 52-58 -Called from file "extraction/Maps.ml", line 285, characters 28-39 -Called from file "extraction/Maps.ml", line 285, characters 28-39 -Called from file "backend/Regalloc.ml", line 1173, characters 12-37 -Called from file "backend/Regalloc.ml", line 1210, characters 17-42 -Called from file "extraction/Allocation.ml", line 1428, characters 11-21 -Called from file "extraction/AST.ml", line 538, characters 9-25 -Called from file "extraction/AST.ml", line 365, characters 12-27 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 367, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 377, characters 15-55 -Called from file "extraction/AST.ml", line 390, characters 8-57 -Called from file "extraction/Compiler.ml", line 97, characters 18-1023 -Called from file "driver/Driver.ml", line 60, characters 15-50 -Called from file "driver/Driver.ml", line 91, characters 4-48 -Called from file "driver/Driveraux.ml", line 141, characters 34-40 -Called from file "driver/Driver.ml", line 412, characters 22-70 -makefile:43: recipe for target 'picosat.o' failed -make: *** [picosat.o] Error 2 +k1-mbr-gcc -Wall -Wextra -DNDEBUG -O3 -c picosat.c +rm -f config.h; ./mkconfig.sh > config.h +k1-mbr-gcc -Wall -Wextra -DNDEBUG -O3 -c version.c +ar rc libpicosat.a picosat.o version.o +ranlib libpicosat.a +k1-mbr-gcc -Wall -Wextra -DNDEBUG -O3 -c app.c +app.c:400:15: warning: ‘sig_alarm_handler’ defined but not used [-Wunused-variable] + static void (*sig_alarm_handler); + ^ +app.c:404:1: warning: ‘alarm_triggered’ defined but not used [-Wunused-function] + alarm_triggered (int sig) + ^ +app.c:415:1: warning: ‘interrupt_call_back’ defined but not used [-Wunused-function] + interrupt_call_back (void * dummy) + ^ +k1-mbr-gcc -Wall -Wextra -DNDEBUG -O3 -c main.c +k1-mbr-gcc -Wall -Wextra -DNDEBUG -O3 -o picosat main.o app.o -L. -lpicosat +app.o: In function `write_to_file': +(.text+0x1f4): undefined reference to `popen' +app.o: In function `write_to_file': +(.text+0x288): undefined reference to `pclose' +app.o: In function `picosat_main': +(.text+0xb94): undefined reference to `pclose' +app.o: In function `picosat_main': +(.text+0x1ff8): undefined reference to `pclose' +app.o: In function `picosat_main': +(.text+0x21e0): undefined reference to `popen' +app.o: In function `picosat_main': +(.text+0x23dc): undefined reference to `pclose' +app.o: In function `picosat_main': +(.text+0x2474): undefined reference to `popen' +app.o: In function `picosat_main': +(.text+0x2b74): undefined reference to `popen' +app.o: In function `picosat_main': +(.text+0x2c58): undefined reference to `popen' +collect2: error: ld returned 1 exit status +makefile:16: recipe for target 'picosat' failed +make: *** [picosat] Error 1 |