[Bug c/30392] New: ice for legal kernel code with -Os

[Bug c/30392] New: ice for legal kernel code with -Os

[dcb314 at hotmail dot com]

I just tried to compile Linux kernel 2.6.19.1 with
the new GNU C compiler version 4.3 snapshot 20070105.

The compiler said

mm/slab.c: At top level:
mm/slab.c:4266: error: edge __kmalloc->__builtin_constant_p has no
corresponding call_stmt
mm/slab.c:4266: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
make[1]: *** [mm/slab.o] Error 1

Here is some help from valgrind

==12784== Invalid read of size 8
==12784==    at 0x4D34E7: ssa_operands_active (tree-ssa-operands.c:267)
==12784==    by 0x4B4035: dump_generic_node (tree-pretty-print.c:2705)
==12784==    by 0x4BEDFE: print_generic_stmt (tree-pretty-print.c:130)
==12784==    by 0x4BEE37: debug_generic_stmt (tree-pretty-print.c:98)
==12784==    by 0x8749DB: verify_cgraph_node (cgraphunit.c:818)
==12784==    by 0x874CF7: verify_cgraph (cgraphunit.c:842)
==12784==    by 0x875968: cgraph_remove_unreachable_nodes (ipa.c:105)
==12784==    by 0x87716C: cgraph_early_inlining (ipa-inline.c:1226)
==12784==    by 0x811694: execute_one_pass (passes.c:932)
==12784==    by 0x81181F: execute_ipa_pass_list (passes.c:996)
==12784==    by 0x8754CB: cgraph_optimize (cgraphunit.c:1433)
==12784==    by 0x4168D9: c_write_global_declarations (c-decl.c:7969)
==12784==  Address 0x28 is not stack'd, malloc'd or (recently) free'd

Preprocessed source code attached. Flag -Os required.


-- 
           Summary: ice for legal kernel code with -Os
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: x86_64-suse-linux


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

[Bug c/30392] ice for legal kernel code with -Os

[dcb314 at hotmail dot com]

------- Comment #1 from dcb314 at hotmail dot com  2007-01-06 13:26 -------
Created an attachment (id=12864)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12864&action=view)
C source code


-- 


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

[Bug tree-optimization/30392] [4.3 Regression] ice for legal kernel code with -Os

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
          Component|c                           |tree-optimization
   GCC host triplet|x86_64-suse-linux           |
 GCC target triplet|                            |x86_64-suse-linux
           Keywords|                            |ice-on-valid-code
            Summary|ice for legal kernel code   |[4.3 Regression] ice for
                   |with -Os                    |legal kernel code with -Os
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/30392] [4.3 Regression] ice for legal kernel code with -Os

[hubicka at gcc dot gnu dot org]

------- Comment #2 from hubicka at gcc dot gnu dot org  2007-01-06 18:10 -------
Created an attachment (id=12866)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12866&action=view)
patch in testing

Mine,
testing the attached fix.

Honza


-- 

hubicka at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |hubicka at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED


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

[Bug tree-optimization/30392] [4.3 Regression] ice for legal kernel code with -Os

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2007-01-06 19:43 -------
Reduced testcase:
typedef unsigned long size_t;
static inline __attribute__((always_inline)) __attribute__((always_inline)) int
index_of(const int size)
{
 return __builtin_constant_p(size);
}
static inline int setup_cpu_cache(int t)
{
  return index_of(2);
}
int f(void)
{
  return setup_cpu_cache(0);
}


-- 


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

[Bug tree-optimization/30392] [4.3 Regression] ice for legal kernel code with -Os

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2007-06-18 05:35 -------
My reduced testcase works now, I don't understand why because the patch in
comment #2 was never appled.  Honza?


-- 


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

[Bug tree-optimization/30392] [4.3 Regression] ice for legal kernel code with -Os

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/30392] [4.3 Regression] ice for legal kernel code with -Os

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2007-08-20 09:13 -------
Even the non reduced testcase works now, so closing.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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