[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

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

[dnovillo at gcc dot gnu dot org]

------- Comment #7 from dnovillo at gcc dot gnu dot org  2005-10-04 03:05 -------

Fixed.  http://gcc.gnu.org/ml/gcc-patches/2005-10/msg00117.html


-- 

dnovillo at gcc dot gnu dot org changed:

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


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

[cvs-commit at gcc dot gnu dot org]

------- Comment #6 from cvs-commit at gcc dot gnu dot org  2005-10-04 03:02 -------
Subject: Bug 23445

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     dnovillo@gcc.gnu.org    2005-10-04 03:02:20

Modified files:
        gcc            : ChangeLog tree-vrp.c 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/gcc.c-torture/compile: pr23445.c 

Log message:
        PR 23445
        * tree-vrp.c (extract_range_from_assert): If the new numeric
        range created out of the assertion contradicts the existing
        numeric range of the ASSERT_EXPR variable, make the new range
        varying.

        testsuite/
        PR 23445
        * gcc.c-torture/compile/pr23445.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.10072&r2=2.10073
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-vrp.c.diff?cvsroot=gcc&r1=2.61&r2=2.62
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6129&r2=1.6130
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/pr23445.c.diff?cvsroot=gcc&r1=NONE&r2=1.1


-- 


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