[PPL-devel] ppl-1.1pre3 make check failed
Roberto Bagnara
bagnara at cs.unipr.it
Tue Dec 25 16:03:37 CET 2012
On 11/13/12 13:48, simpleisbest411 at yahoo.co.jp wrote:
> Dear Roberto,
>
>> I believe your observation shows a bug in Cygwin whereby a bogus version of std::floor(long double) is provided.
>>
>> #include <cmath>
>> #include <cstdlib>
>>
>> long double x = 13311002825915415087.0L;
>>
>> int main() {
>> long double y = std::floor(x);
>> if (x != y)
>> return 1;
>> else
>> return 0;
>> }
>>
>> The program will return 1 if the version of Cygwin you are using
>> is affected (the one I am using is affected).
> Oh, this bug, I learned for the first time.
>
>> We have just uploaded a new snapshot of PPL 1.1 (to be released soon)
>> that works around this problem. Can you please test it?
>> You can find the snapshot at
>> http://bugseng.com/products/ppl/download/ftp/snapshots/
>> Please let us know how it goes.
> Thank you. I tried, but the following error was displayed.
>
> make[3]: Leaving directory `/usr/local/src/ppl-1.1pre5/tests/Polyhedron'
> make check-TESTS
> make[3]: Entering directory `/usr/local/src/ppl-1.1pre5/tests/Polyhedron'
> PASS: addcongruence1.exe
> PASS: addcongruences1.exe
> PASS: addconstraint1.exe
> PASS: addconstraints1.exe
> PASS: addconstraints2.exe
> PASS: addgenerator1.exe
> PASS: addgenerator2.exe
> PASS: addgenerators1.exe
> PASS: addgenerators2.exe
> PASS: addspacedims1.exe
> PASS: addspacedims2.exe
> PASS: affineimage1.exe
> PASS: affineimage2.exe
> PASS: affinepreimage1.exe
> PASS: affinetrans.exe
> PASS: append1.exe
> PASS: append2.exe
> PASS: ascii_dump_load1.exe
> PASS: ascii_dump_load2.exe
> PASS: ascii_dump_load3.exe
> PASS: bgp99extrapolation1.exe
> PASS: bgp99extrapolation2.exe
> PASS: bhrz03widening1.exe
> PASS: bhrz03widening2.exe
> PASS: bhrz03widening3.exe
> PASS: bhz03widening1.exe
> PASS: bounded1.exe
> PASS: boundedaffineimage1.exe
> PASS: boundedaffinepreimage1.exe
> PASS: boundedbhrz03extrapolation1.exe
> PASS: boundedh79extrapolation1.exe
> PASS: bounds1.exe
> PASS: cnncconversion1.exe
> PASS: concatenate1.exe
> PASS: congruences1.exe
> PASS: constrains1.exe
> PASS: constraints1.exe
> PASS: contains1.exe
> PASS: contains2.exe
> PASS: containsintegerpoint1.exe
> PASS: disjoint1.exe
> PASS: disjoint2.exe
> PASS: dropsomenonintegerpoints1.exe
> PASS: dropsomenonintegerpoints2.exe
> PASS: dualhypercubes.exe
> PASS: empty1.exe
> PASS: equals1.exe
> PASS: exceptions1.exe
> PASS: exceptions2.exe
> PASS: exceptions3.exe
> PASS: expandspacedim1.exe
> PASS: expandspacedim2.exe
> PASS: foldspacedims1.exe
> PASS: foldspacedims2.exe
> PASS: frequency1.exe
> PASS: frombdshape1.exe
> PASS: frombox1.exe
> PASS: frombox2.exe
> PASS: fromgrid1.exe
> PASS: fromoctagonalshape1.exe
> PASS: generalizedaffineimage1.exe
> PASS: generalizedaffineimage2.exe
> PASS: generalizedaffinepreimage1.exe
> PASS: generalizedaffinepreimage2.exe
> PASS: generators1.exe
> PASS: geomcovers1.exe
> PASS: h79widening1.exe
> PASS: h79widening2.exe
> PASS: hybrid.exe
> PASS: intersection1.exe
> PASS: limitedbhrz03extrapolation1.exe
> PASS: limitedh79extrapolation1.exe
> PASS: linearexpression1.exe
> PASS: linearpartition1.exe
> PASS: linearsystem1.exe
> PASS: mapspacedims1.exe
> PASS: matrix1.exe
> PASS: max_min1.exe
> PASS: maxspacedim1.exe
> PASS: mc91.exe
> PASS: membytes1.exe
> /bin/sh: line 5: 8056 Segmentation fault (core dumped) ${dir}$tst
> FAIL: memory2.exe
> PASS: minconstraints1.exe
> PASS: minconstraints2.exe
> PASS: mingenerators1.exe
> PASS: mingenerators2.exe
> PASS: nncminimize1.exe
> PASS: nncminimize2.exe
> PASS: numberinput1.exe
> PASS: onepoint.exe
> PASS: permute.exe
> PASS: polydifference1.exe
> PASS: polydifference2.exe
> PASS: polyhull1.exe
> PASS: polyhull2.exe
> PASS: polyhullifexact1.exe
> PASS: polyhullifexact2.exe
> PASS: randphull1.exe
> PASS: refinewithcongruence1.exe
> PASS: refinewithcongruences1.exe
> PASS: refinewithconstraint1.exe
> PASS: refinewithconstraints1.exe
> PASS: relations1.exe
> PASS: relations2.exe
> PASS: relations3.exe
> PASS: removespacedims1.exe
> PASS: removespacedims2.exe
> PASS: simplifyusingcontext1.exe
> PASS: smm1.exe
> PASS: sparserow1.exe
> PASS: termination1.exe
> PASS: termination2.exe
> PASS: timeelapse1.exe
> PASS: timeelapse2.exe
> PASS: topclosed1.exe
> PASS: topclosure1.exe
> PASS: unconstrain1.exe
> PASS: universe1.exe
> PASS: universe2.exe
> PASS: variablesset1.exe
> PASS: watchdog1.exe
> PASS: weightwatch1.exe
> PASS: wrap1.exe
> PASS: wrap2.exe
> PASS: writeconsys1.exe
> PASS: writegensys1.exe
> PASS: writepolyhedron1.exe
> PASS: writepolyhedron2.exe
> PASS: writerelation1.exe
> PASS: writevariable1.exe
> PASS: nnc_addcongruence1.exe
> PASS: nnc_addcongruences1.exe
> PASS: nnc_addconstraint1.exe
> PASS: nnc_addconstraints1.exe
> PASS: nnc_addgenerator1.exe
> PASS: nnc_addgenerators1.exe
> PASS: nnc_addspacedims1.exe
> PASS: nnc_affineimage1.exe
> PASS: nnc_affinepreimage1.exe
> PASS: nnc_affinetrans.exe
> PASS: nnc_append1.exe
> PASS: nnc_append2.exe
> PASS: nnc_ascii_dump_load1.exe
> PASS: nnc_ascii_dump_load2.exe
> PASS: nnc_bgp99extrapolation1.exe
> PASS: nnc_bhrz03widening1.exe
> PASS: nnc_bhrz03widening2.exe
> PASS: nnc_bounded1.exe
> PASS: nnc_boundedaffineimage1.exe
> PASS: nnc_boundedaffinepreimage1.exe
> PASS: nnc_boundedbhrz03extrapolation1.exe
> PASS: nnc_boundedh79extrapolation1.exe
> PASS: nnc_bounds1.exe
> PASS: nnc_concatenate1.exe
> PASS: nnc_congruences1.exe
> PASS: nnc_constrains1.exe
> PASS: nnc_constraints1.exe
> PASS: nnc_contains1.exe
> PASS: nnc_containsintegerpoint1.exe
> PASS: nnc_disjoint1.exe
> PASS: nnc_dropsomenonintegerpoints1.exe
> PASS: nnc_empty1.exe
> PASS: nnc_equals1.exe
> PASS: nnc_exceptions1.exe
> PASS: nnc_exceptions3.exe
> PASS: nnc_expandspacedim1.exe
> PASS: nnc_foldspacedims1.exe
> PASS: nnc_frombdshape1.exe
> PASS: nnc_frombox1.exe
> PASS: nnc_fromgrid1.exe
> PASS: nnc_fromoctagonalshape1.exe
> PASS: nnc_generalizedaffineimage1.exe
> PASS: nnc_generalizedaffinepreimage1.exe
> PASS: nnc_generators1.exe
> PASS: nnc_geomcovers1.exe
> PASS: nnc_h79widening1.exe
> PASS: nnc_intersection1.exe
> PASS: nnc_simplifyusingcontext1.exe
> PASS: nnc_limitedbhrz03extrapolation1.exe
> PASS: nnc_limitedh79extrapolation1.exe
> PASS: nnc_linearpartition1.exe
> PASS: nnc_mapspacedims1.exe
> PASS: nnc_max_min1.exe
> PASS: nnc_mc91.exe
> PASS: nnc_membytes1.exe
> PASS: nnc_minconstraints1.exe
> PASS: nnc_mingenerators1.exe
> PASS: nnc_onepoint.exe
> PASS: nnc_permute.exe
> PASS: nnc_polydifference1.exe
> PASS: nnc_polyhull1.exe
> PASS: nnc_polyhullifexact1.exe
> PASS: nnc_randphull1.exe
> PASS: nnc_relations1.exe
> PASS: nnc_relations2.exe
> PASS: nnc_removespacedims1.exe
> PASS: nnc_smm1.exe
> PASS: nnc_timeelapse1.exe
> PASS: nnc_unconstrain1.exe
> PASS: nnc_universe1.exe
> PASS: nnc_wrap1.exe
> PASS: nnc_wrap2.exe
> PASS: nnc_writepolyhedron1.exe
> ======================================
> 1 of 203 tests failed
> Please report to ppl-devel at cs.unipr.it
> ======================================
>
> Environment:
> ppl 1.1pre5 with configure --with-gmp=/usr/local --enable-static --disable-shared; make -j8
> gmp 5.0.5 with configure --enable-cxx --enable-static --disable-shared --prefix=/usr/local; make CPPFLAGS=-fexceptions -j8
> g++ 4.5.3
> win7 proffesional SP1 64bit japanese
> cygwin 1.7.17-1
> intel core i7 2600
> 4GBytes memory
Dear Shin,
I have tried to reproduce your observation but I failed up to now.
Can you please send the config.log file?
Thanks,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara at bugseng.com
More information about the PPL-devel
mailing list