[PPL-devel] Failures in the PPL testsuite configured with gcc 4.4

[Roberto Bagnara]

Roberto Bagnara wrote:
> Sebastian Pop wrote:
>> On Tue, Dec 16, 2008 at 12:12 PM, Dominique Dhumieres
>> <dominiq at lps.ens.fr> wrote:
>>> Hi Sebastian,
>>>
>>> I have done a "make check" in PPL with both gcc 4.3 and 4.4. I got 4 failing
>>> tests with 4.4. Before I fill a pr, did you see that?
>> I do not know of these problems.  In general, if there are problems
>> with PPL, please CC the PPL-devel mailing list.
> 
> Hi Dominique,
> 
> I would like to try to reproduce the failures you observe.
> What do you mean exactly by GCC 4.4?  Is that the same
> as some revision of GCC's SVN trunk?  If so, which one?

I have tried what was the head revision this morning,
i.e., r142805, but `make bootstrap' failed:

[...]
make[5]: Entering directory `/usr/local/distrib/gcc/trunk/build/x86_64-unknown-linux-gnu/32/libgcc'
# If this is the top-level multilib, build all the other
# multilibs.
/usr/local/distrib/gcc/trunk/build/./gcc/xgcc -B/usr/local/distrib/gcc/trunk/build/./gcc/ -B/opt/beta/x86_64-unknown-linux-gnu/bin/ -B/opt/beta/x86_64-unknown-linux-gnu/lib/ -isystem /opt/beta/x86_64-unknown-linux-gnu/include -isystem /opt/beta/x86_64-unknown-linux-gnu/sys-include -g -O2 -m32 -O2  -g -O2 -DIN_GCC   -W -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes -Wcast-qual -Wold-style-definition  -isystem ./include  -fPIC -g -DHAVE_GTHR_DEFAULT -DIN_LIBGCC2 -D__GCC_FLOAT_NOT_NEEDED   -I. -I. -I../../.././gcc -I../../../../gcc/libgcc -I../../../../gcc/libgcc/. -I../../../../gcc/libgcc/../gcc -I../../../../gcc/libgcc/../include -I../../../../gcc/libgcc/config/libbid -DENABLE_DECIMAL_BID_FORMAT 
-DHAVE_CC_TLS -DUSE_TLS -o _muldi3.o -MT _muldi3.o -MD -MP -MF _muldi3.dep -DL_muldi3 -c ../../../../gcc/libgcc/../gcc/libgcc2.c \
           -fvisibility=hidden -DHIDE_EXPORTS
In file included from /usr/include/features.h:359,
                  from /usr/include/stdio.h:28,
                  from ../../../../gcc/libgcc/../gcc/tsystem.h:90,
                  from ../../../../gcc/libgcc/../gcc/libgcc2.c:33:
/usr/include/gnu/stubs.h:7:27: error: gnu/stubs-32.h: No such file or directory
make[5]: *** [_muldi3.o] Error 1
make[5]: Leaving directory `/usr/local/distrib/gcc/trunk/build/x86_64-unknown-linux-gnu/32/libgcc'
make[4]: *** [multi-do] Error 1
make[4]: Leaving directory `/usr/local/distrib/gcc/trunk/build/x86_64-unknown-linux-gnu/libgcc'
make[3]: *** [all-multi] Error 2
make[3]: Leaving directory `/usr/local/distrib/gcc/trunk/build/x86_64-unknown-linux-gnu/libgcc'
make[2]: *** [all-stage1-target-libgcc] Error 2
make[2]: Leaving directory `/usr/local/distrib/gcc/trunk/build'
make[1]: *** [stage1-bubble] Error 2
make[1]: Leaving directory `/usr/local/distrib/gcc/trunk/build'
make: *** [bootstrap] Error 2

I am not sure how to proceed.
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it