[Bug tree-optimization/33650] New: ICE in verify_curr_properties for -O2 -fno-tree-salias

[janis at gcc dot gnu dot org]

Just about any input to gcc for any target results in the following ICE for
"-O2 -fno-tree-salias":

bug7.c: In function ‘foo’:
bug7.c:1: internal compiler error: in verify_curr_properties, at passes.c:1043
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Here's the testcase used here:

  void foo (void) { return; }

This was discussed starting at http://gcc.gnu.org/ml/gcc/2007-09/msg00503.html,
with the conclusion that the flag is probably worthwhile and there should be a
dummy pass after salias.


-- 
           Summary: ICE in verify_curr_properties for -O2 -fno-tree-salias
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: janis at gcc dot gnu dot org


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