[Bug c/23445] New: [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks

[Bug c/23445] New: [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks

[bunk at stusta dot de]

I'm getting the ICE below when trying to compile the file fs/asfs/extents.c
Linux kernel 2.6.13-rc5-mm1 with a current CVS HEAD gcc.

As soon as I remove _one_ of the three options "-O1 -ftree-vrp
-fdelete-null-pointer-checks" the problem disappears.

<--  snip  -->

...
$ /TMP/test/gcc/install/bin/gcc -m32 -Wp,-MD,fs/asfs/.extents.o.d  -nostdinc
-isystem /TMP/test/gcc/install/lib/gcc/i686-pc-linux-gnu/4.1.0/include
-D__KERNEL__ -Iinclude  -Iinclude/asm-i386/mach-default   
-DKBUILD_BASENAME=extents -DKBUILD_MODNAME=asfs -c -o fs/asfs/extents.o
fs/asfs/extents.c  -O1 -ftree-vrp -fdelete-null-pointer-checks
fs/asfs/extents.c: In function 'asfs_deletebnode':
fs/asfs/extents.c:325: internal compiler error: in compare_name_with_value, at
tree-vrp.c:2963
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
$ 

<--  snip  -->

-- 
           Summary: [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-
                    pointer-checks
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bunk at stusta dot de
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: i686-pc-linux-gnu


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

[Bug c/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks

[bunk at stusta dot de]

------- Additional Comments From bunk at stusta dot de  2005-08-17 16:33 -------
Created an attachment (id=9520)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9520&action=view)
preprocessed file


-- 


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

[Bug c/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks

[bunk at stusta dot de]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
      Known to work|                            |4.0.1


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

[Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |tree-optimization
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-17 16:42 -------
Reducing.

-- 


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

[Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-17 17:58 -------
Confirmed, reduced testcase:
 struct buffer_head {
   char *b_data;
 };
   void asfs_deletebnode( struct buffer_head *bhsec)  {
     if (bhsec == 0)   {
     void *bnc2 = (void *) bhsec->b_data;
     if (bnc2)       return;
     if (bhsec)       __brelse(bhsec);
   }
 }



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |phython at gcc dot gnu dot
                   |                            |org, dnovillo at gcc dot gnu
                   |                            |dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
 GCC target triplet|i686-pc-linux-gnu           |
   Last reconfirmed|0000-00-00 00:00:00         |2005-08-17 17:58:50
               date|                            |


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

[Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks

[phython at gcc dot gnu dot org]

------- Additional Comments From phython at gcc dot gnu dot org  2005-08-23 05:31 -------
 This is even better than the pass in pr16351 .  Having the assert not fail on
pointer types is probably the best fix.

-- 


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

[Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |23968
              nThis|                            |


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