[PPL-devel] Internal compiler error building ppl on Linux...

[Roberto Bagnara]

Tovrea, George W (US SSA) wrote:
> Has anyone seen this problem? If so, is there a work around? Do I need
> to build this directory?
> 
> Platform:
> 
> uname -m = x86_64
> uname -r = 2.6.9-67.ELxenU
> uname -s = Linux
> uname -v = #1 SMP Wed Nov 7 14:17:17 EST 2007
> 
> /usr/bin/uname -p = unknown
> /bin/uname -X     = unknown
> 
> /bin/arch              = x86_64
> /usr/bin/arch -k       = unknown
> /usr/convex/getsysinfo = unknown
> /usr/bin/hostinfo      = unknown
> /bin/machine           = unknown
> /usr/bin/oslevel       = unknown
> /bin/universe          = unknown
> 
> Error:
> 
> make[7]: Entering directory
> `/home/users/tovrea/GCC_LINUX/build_linux/ppl/demos/ppl_lcdd/examples'
> make[7]: Nothing to be done for `all'.
> make[7]: Leaving directory
> `/home/users/tovrea/GCC_LINUX/build_linux/ppl/demos/ppl_lcdd/examples'
> make[7]: Entering directory
> `/home/users/tovrea/GCC_LINUX/build_linux/ppl/demos/ppl_lcdd'
> g++ -DHAVE_CONFIG_H -I.
> -I/home/users/tovrea/GCC_LINUX/gcc-4.4.0/ppl/demos/ppl_lcdd -I../..
> -I../.. -I../../src -I/home/users/tovrea/GCC_LINUX/gcc-4.4.0/ppl/utils
> -g -fkeep-inline-functions -MT ppl_lcdd.o -MD -MP -MF .deps/ppl_lcdd.Tpo
> -c -o ppl_lcdd.o
> /home/users/tovrea/GCC_LINUX/gcc-4.4.0/ppl/demos/ppl_lcdd/ppl_lcdd.cc
> In file included from
> /home/users/tovrea/GCC_LINUX/gcc-4.4.0/ppl/demos/ppl_lcdd/ppl_lcdd.cc:37
> :
> ../../src/ppl.hh: In function `Parma_Polyhedra_Library::Result
> Parma_Polyhedra_Library::Checked::input_generic(Type&, std::istream&,
> Parma_Polyhedra_Library::Rounding_Dir)':
> ../../src/ppl.hh:4678: internal compiler error: in invert_truthvalue, at
> fold-const.c:2700
> Please submit a full bug report,
> with preprocessed source if appropriate.
> See <URL:http://bugzilla.redhat.com/bugzilla> for instructions.
> Preprocessed source stored into /tmp/ccdHbmnk.out file, please attach
> this to your bugreport.
> make[7]: *** [ppl_lcdd.o] Error 1
> make[7]: Leaving directory
> `/home/users/tovrea/GCC_LINUX/build_linux/ppl/demos/ppl_lcdd'

Which version of GCC are you using to compile PPL?
The minimum version is 4.0.3.
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