[Bug middle-end/52630] New: [4.7 regression] ICE when compiling ppl-0.12 testsuite

[matt at use dot net]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52630

             Bug #: 52630
           Summary: [4.7 regression] ICE when compiling ppl-0.12 testsuite
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: middle-end
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: m...@use.net


While PPL 0.12 itself built okay, it's "make check" target did not. I bootstrap
all required GCC libraries with a given GCC release, and run all their
testsuites. It usually weeds out subtle wrong-code issues and ICEs. GMP, MPC,
CLOOG-ISL, and MPFR were all fine.

g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=float
-DANALYZED_FP_FORMAT=IEEE754_SINGLE   -I../../src -I../../src -I../../tests
-I../../utils -I/opt/gcc-4.7.0/include -DNDEBUG=1   -g -O3 -frounding-math 
-mcpu=v8 -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo
-c -o digitalfilters1.o digitalfilters1.cc
In file included from ../../src/Box.defs.hh:2260:0,
                 from ../../src/Linear_Form.templates.hh:29,
                 from ../../src/ppl_include_files.hh:8,
                 from ../../src/ppl_header.hh:38,
                 from ../../tests/ppl_test.hh:27,
                 from digitalfilters1.cc:24:
../../src/Box.templates.hh: In constructor
‘Parma_Polyhedra_Library::Box<Interval>::Box(const
Parma_Polyhedra_Library::Generator_System&) [with ITV =
Parma_Polyhedra_Library::Interval<float,
Parma_Polyhedra_Library::Interval_Info_Bitset<unsigned int,
Parma_Polyhedra_Library::Test::Floating_Real_Open_Interval_Info_Policy> >]’:
../../src/Box.templates.hh:222:1: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[3]: *** [digitalfilters1.o] Error 1
make[3]: Leaving directory `/root/src/ppl-0.12/tests/Concrete_Expression'

Pre-processed sources are attached. ICE still happens with -O2, but does not
happen with -O1:
g++ -g -O2 -frounding-math  -mcpu=v8 -W -Wall -c digitalfilters1.cc.i          
                                                                               
                         In file included from
../../src/Octagonal_Shape.defs.hh:2316:0,
                 from ../../src/BD_Shape.inlines.hh:31,
                 from ../../src/BD_Shape.defs.hh:2361,
                 from ../../src/Box.templates.hh:38,
                 from ../../src/Box.defs.hh:2260,
                 from ../../src/Linear_Form.templates.hh:29,
                 from ../../src/ppl_include_files.hh:8,
                 from ../../src/ppl_header.hh:38,
                 from ../../tests/ppl_test.hh:27,
                 from digitalfilters1.cc:24:
../../src/Octagonal_Shape.templates.hh: In member function ‘void
Parma_Polyhedra_Library::Octagonal_Shape<T>::refine_with_linear_form_inequality(const
Parma_Polyhedra_Library::Linear_Form<Parma_Polyhedra_Library::Interval<T,
Interval_Info> >&, const
Parma_Polyhedra_Library::Linear_Form<Parma_Polyhedra_Library::Interval<T,
Interval_Info> >&) [with Interval_Info =
Parma_Polyhedra_Library::Interval_Info_Bitset<unsigned int,
Parma_Polyhedra_Library::Test::Floating_Real_Open_Interval_Info_Policy>; T =
float]’:
../../src/Octagonal_Shape.templates.hh:874:1: internal compiler error:
Segmentation fault