[PPL-devel] R: Re: Fwd: Re: PPL 0.12 bug reporting

Sun Apr 29 21:16:04 CEST 2012

Hi Roberto,

this is the error message:

g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src -I../../src -I../../utils -I../..
/tests -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT mipproblem1.o -MD -MP -
MF .deps/mipproblem1.Tpo -c -o mipproblem1.o mipproblem1.cc
g++: internal compiler error: Killed (program cc1plus)
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.6/README.Bugs> for instructions.
make[3]: *** [mipproblem1.o] Error 4
make[3]: Leaving directory `/home/nedo/Desktop/ppl-0.12.1/tests/MIP_Problem'
make[2]: *** [check-am] Error 2
make[2]: Leaving directory `/home/nedo/Desktop/ppl-0.12.1/tests/MIP_Problem'
make[1]: *** [check-recursive] Error 1
make[1]: Leaving directory `/home/nedo/Desktop/ppl-0.12.1/tests'
make: *** [check-recursive] Error 1

Salvatore

>----Messaggio originale----
>Da: bagnara at cs.unipr.it
>Data: 29/04/2012 15.48
>A: "Erotavlas_turbo at libero.it"<Erotavlas_turbo at libero.it>
>Cc: "The Parma Polyhedra Library developers' list"<ppl-devel at cs.unipr.it>
>Ogg: Re: [PPL-devel] Fwd:  Re:  PPL 0.12 bug reporting
>
>On 04/28/12 10:25, Erotavlas_turbo at libero.it wrote:
>> I compiled the latest ppl 0.12.1 with Ubuntu 12.04. With standard version 
of
>> GCC provided (4.6.3) it does not compile a due to a bug of GCC. But with 
GCC
>> 4.7.0 all works well. With Ubuntu 11.10 I can't compile with success but at
>> this point this is no problem.
>
>Hi Salvatore,
>
>can you provide us with more details abot the GCC bug you are talking about?
>I have just finished a complete `make ; make check' of PPL 0.12.1 on
>Ubuntu 12.04/x86_64 (GCC 4.6.3) and everything went fine.
>Kind regards,
>
>    Roberto
>
>>> ----Messaggio originale----
>>> Da: bagnara at cs.unipr.it
>>> Data: 23/04/2012 11.47
>>> A: "The Parma Polyhedra Library developers' list"<ppl-devel at cs.unipr.it>
>>> Cc: "Erotavlas_turbo at libero.it"<Erotavlas_turbo at libero.it>
>>> Ogg: Re: [PPL-devel] R: Re: R: Re: R: Re: R: Re: PPL 0.12 bug reporting
>>>
>>> On 04/22/12 18:49, Erotavlas_turbo at libero.it wrote:
>>>> Hi,
>>>>
>>>> I compiled the latest ppl 0.12.1 and I get this message
>>>>
>>>> make check-TESTS
>>>> make[3]: Entering directory `/home/user/Desktop/ppl-0.12.1
>> /tests/Polyhedron'
>>>> PASS: addcongruence1
>>>> PASS: addcongruences1
>>>> PASS: addconstraint1
>>>> PASS: addconstraints1
>>>> PASS: addconstraints2
>>>> PASS: addgenerator1
>>>> PASS: addgenerator2
>>>> PASS: addgenerators1
>>>> PASS: addgenerators2
>>>> PASS: addspacedims1
>>>> PASS: addspacedims2
>>>> PASS: affineimage1
>>>> PASS: affineimage2
>>>> PASS: affinepreimage1
>>>> PASS: affinetrans
>>>> PASS: append1
>>>> PASS: append2
>>>> PASS: ascii_dump_load1
>>>> PASS: ascii_dump_load2
>>>> PASS: ascii_dump_load3
>>>> PASS: bgp99extrapolation1
>>>> PASS: bgp99extrapolation2
>>>> PASS: bhrz03widening1
>>>> PASS: bhrz03widening2
>>>> PASS: bhrz03widening3
>>>> PASS: bhz03widening1
>>>> PASS: bounded1
>>>> PASS: boundedaffineimage1
>>>> PASS: boundedaffinepreimage1
>>>> PASS: boundedbhrz03extrapolation1
>>>> PASS: boundedh79extrapolation1
>>>> PASS: bounds1
>>>> PASS: cnncconversion1
>>>> PASS: concatenate1
>>>> PASS: congruences1
>>>> PASS: constrains1
>>>> PASS: constraints1
>>>> PASS: contains1
>>>> PASS: contains2
>>>> PASS: containsintegerpoint1
>>>> PASS: densematrix1
>>>> PASS: disjoint1
>>>> PASS: disjoint2
>>>> PASS: dropsomenonintegerpoints1
>>>> PASS: dropsomenonintegerpoints2
>>>> PASS: dualhypercubes
>>>> PASS: empty1
>>>> PASS: equals1
>>>> PASS: exceptions1
>>>> PASS: exceptions2
>>>> PASS: exceptions3
>>>> PASS: expandspacedim1
>>>> PASS: expandspacedim2
>>>> PASS: foldspacedims1
>>>> PASS: foldspacedims2
>>>> PASS: frequency1
>>>> PASS: frombdshape1
>>>> PASS: frombox1
>>>> PASS: frombox2
>>>> PASS: fromgrid1
>>>> PASS: fromoctagonalshape1
>>>> PASS: generalizedaffineimage1
>>>> PASS: generalizedaffineimage2
>>>> PASS: generalizedaffinepreimage1
>>>> PASS: generalizedaffinepreimage2
>>>> PASS: generators1
>>>> PASS: geomcovers1
>>>> PASS: h79widening1
>>>> PASS: h79widening2
>>>> PASS: hybrid
>>>> PASS: intersection1
>>>> PASS: limitedbhrz03extrapolation1
>>>> PASS: limitedh79extrapolation1
>>>> PASS: linearexpression1
>>>> PASS: linearpartition1
>>>> PASS: linearsystem1
>>>> PASS: mapspacedims1
>>>> PASS: max_min1
>>>> PASS: maxspacedim1
>>>> PASS: mc91
>>>> PASS: membytes1
>>>> PASS: memory2
>>>> PASS: minconstraints1
>>>> PASS: minconstraints2
>>>> PASS: mingenerators1
>>>> PASS: mingenerators2
>>>> PASS: nncminimize1
>>>> PASS: nncminimize2
>>>> PASS: numberinput1
>>>> PASS: onepoint
>>>> PASS: permute
>>>> PASS: polydifference1
>>>> PASS: polydifference2
>>>> PASS: polyhull1
>>>> PASS: polyhull2
>>>> PASS: polyhullifexact1
>>>> PASS: polyhullifexact2
>>>> PASS: randphull1
>>>> PASS: refinewithcongruence1
>>>> PASS: refinewithcongruences1
>>>> PASS: refinewithconstraint1
>>>> PASS: refinewithconstraints1
>>>> PASS: relations1
>>>> PASS: relations2
>>>> PASS: relations3
>>>> PASS: removespacedims1
>>>> PASS: removespacedims2
>>>> PASS: simplifyusingcontext1
>>>> PASS: smm1
>>>> PASS: termination1
>>>> PASS: termination2
>>>> PASS: timeelapse1
>>>> PASS: timeelapse2
>>>> PASS: topclosed1
>>>> PASS: topclosure1
>>>> PASS: unconstrain1
>>>> PASS: universe1
>>>> PASS: universe2
>>>> PASS: variablesset1
>>>> PASS: watchdog1
>>>> PASS: weightwatch1
>>>> PASS: wrap1
>>>> PASS: wrap2
>>>> PASS: writeconsys1
>>>> PASS: writegensys1
>>>> PASS: writepolyhedron1
>>>> PASS: writepolyhedron2
>>>> PASS: writerelation1
>>>> PASS: writevariable1
>>>> PASS: nnc_addcongruence1
>>>> PASS: nnc_addcongruences1
>>>> PASS: nnc_addconstraint1
>>>> PASS: nnc_addconstraints1
>>>> PASS: nnc_addgenerator1
>>>> PASS: nnc_addgenerators1
>>>> PASS: nnc_addspacedims1
>>>> PASS: nnc_affineimage1
>>>> PASS: nnc_affinepreimage1
>>>> PASS: nnc_affinetrans
>>>> PASS: nnc_append1
>>>> PASS: nnc_append2
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load2
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_bgp99extrapolation1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_bhrz03widening1
>>>> PASS: nnc_bhrz03widening2
>>>> PASS: nnc_bounded1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffineimage1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffinepreimage1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_boundedbhrz03extrapolation1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_boundedh79extrapolation1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_bounds1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_concatenate1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_congruences1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_constrains1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_constraints1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_contains1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_containsintegerpoint1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_disjoint1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_dropsomenonintegerpoints1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_empty1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_equals1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_exceptions1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_exceptions3
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_expandspacedim1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_foldspacedims1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_frombdshape1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_frombox1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_fromgrid1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_fromoctagonalshape1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffineimage1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffinepreimage1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_generators1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_geomcovers1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_h79widening1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_intersection1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_simplifyusingcontext1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_limitedbhrz03extrapolation1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_limitedh79extrapolation1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_linearpartition1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_mapspacedims1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_max_min1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_mc91
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_membytes1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_minconstraints1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_mingenerators1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_onepoint
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_permute
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_polydifference1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_polyhull1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_polyhullifexact1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_randphull1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_relations1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_relations2
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_removespacedims1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_smm1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_timeelapse1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_unconstrain1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_universe1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_wrap1
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_wrap2
>>>> collect2: ld returned 1 exit statusnFAIL: nnc_writepolyhedron1
>>>> ======================================
>>>> 59 of 202 tests failed
>>>> Please report to ppl-devel at cs.unipr.it
>>>> ======================================
>>>> Also this time there is no file test-suite.log, I have attached the 
config.
>> log
>>>> file.
>>>
>>> Are you doing a parallel build (i.e., with make -j N)?
>>> Otherwise I don't know: I begin to suspect there is something wrong
>>> in your system that is unrelated to the PPL. Can I have a temporary
>>> account on the machine where all this happens?
>>>
>>> --
>>> Prof. Roberto Bagnara
>>> Applied Formal Methods Laboratory
>>> Department of Mathematics, University of Parma, Italy
>>> http://www.cs.unipr.it/~bagnara/
>>> mailto:bagnara at cs.unipr.it
>>>
>>
>>
>> _______________________________________________
>> PPL-devel mailing list
>> PPL-devel at cs.unipr.it
>> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>>
>
>
>-- 
>Prof. Roberto Bagnara
>Applied Formal Methods Laboratory
>Department of Mathematics, University of Parma, Italy
>http://www.cs.unipr.it/~bagnara/
>mailto:bagnara at cs.unipr.it
>