public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks [not found] <bug-23445-9876@http.gcc.gnu.org/bugzilla/> @ 2005-10-04 3:02 ` cvs-commit at gcc dot gnu dot org 2005-10-04 3:05 ` dnovillo at gcc dot gnu dot org 1 sibling, 0 replies; 7+ messages in thread From: cvs-commit at gcc dot gnu dot org @ 2005-10-04 3:02 UTC (permalink / raw) To: gcc-bugs ------- 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 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks [not found] <bug-23445-9876@http.gcc.gnu.org/bugzilla/> 2005-10-04 3:02 ` [Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks cvs-commit at gcc dot gnu dot org @ 2005-10-04 3:05 ` dnovillo at gcc dot gnu dot org 1 sibling, 0 replies; 7+ messages in thread From: dnovillo at gcc dot gnu dot org @ 2005-10-04 3:05 UTC (permalink / raw) To: gcc-bugs ------- 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 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c/23445] New: [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks @ 2005-08-17 16:33 bunk at stusta dot de 2005-08-17 16:42 ` [Bug tree-optimization/23445] " pinskia at gcc dot gnu dot org ` (4 more replies) 0 siblings, 5 replies; 7+ messages in thread From: bunk at stusta dot de @ 2005-08-17 16:33 UTC (permalink / raw) To: gcc-bugs 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 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks 2005-08-17 16:33 [Bug c/23445] New: " bunk at stusta dot de @ 2005-08-17 16:42 ` pinskia at gcc dot gnu dot org 2005-08-17 16:47 ` pinskia at gcc dot gnu dot org ` (3 subsequent siblings) 4 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2005-08-17 16:42 UTC (permalink / raw) To: gcc-bugs -- What |Removed |Added ---------------------------------------------------------------------------- Component|c |tree-optimization Target Milestone|--- |4.1.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23445 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks 2005-08-17 16:33 [Bug c/23445] New: " bunk at stusta dot de 2005-08-17 16:42 ` [Bug tree-optimization/23445] " pinskia at gcc dot gnu dot org @ 2005-08-17 16:47 ` pinskia at gcc dot gnu dot org 2005-08-17 18:02 ` pinskia at gcc dot gnu dot org ` (2 subsequent siblings) 4 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2005-08-17 16:47 UTC (permalink / raw) To: gcc-bugs ------- 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 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks 2005-08-17 16:33 [Bug c/23445] New: " bunk at stusta dot de 2005-08-17 16:42 ` [Bug tree-optimization/23445] " pinskia at gcc dot gnu dot org 2005-08-17 16:47 ` pinskia at gcc dot gnu dot org @ 2005-08-17 18:02 ` pinskia at gcc dot gnu dot org 2005-08-23 5:44 ` phython at gcc dot gnu dot org 2005-09-19 17:44 ` pinskia at gcc dot gnu dot org 4 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2005-08-17 18:02 UTC (permalink / raw) To: gcc-bugs ------- 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 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks 2005-08-17 16:33 [Bug c/23445] New: " bunk at stusta dot de ` (2 preceding siblings ...) 2005-08-17 18:02 ` pinskia at gcc dot gnu dot org @ 2005-08-23 5:44 ` phython at gcc dot gnu dot org 2005-09-19 17:44 ` pinskia at gcc dot gnu dot org 4 siblings, 0 replies; 7+ messages in thread From: phython at gcc dot gnu dot org @ 2005-08-23 5:44 UTC (permalink / raw) To: gcc-bugs ------- 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 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks 2005-08-17 16:33 [Bug c/23445] New: " bunk at stusta dot de ` (3 preceding siblings ...) 2005-08-23 5:44 ` phython at gcc dot gnu dot org @ 2005-09-19 17:44 ` pinskia at gcc dot gnu dot org 4 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2005-09-19 17:44 UTC (permalink / raw) To: gcc-bugs -- What |Removed |Added ---------------------------------------------------------------------------- OtherBugsDependingO| |23968 nThis| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23445 ^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2005-10-04 3:05 UTC | newest] Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- [not found] <bug-23445-9876@http.gcc.gnu.org/bugzilla/> 2005-10-04 3:02 ` [Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks cvs-commit at gcc dot gnu dot org 2005-10-04 3:05 ` dnovillo at gcc dot gnu dot org 2005-08-17 16:33 [Bug c/23445] New: " bunk at stusta dot de 2005-08-17 16:42 ` [Bug tree-optimization/23445] " pinskia at gcc dot gnu dot org 2005-08-17 16:47 ` pinskia at gcc dot gnu dot org 2005-08-17 18:02 ` pinskia at gcc dot gnu dot org 2005-08-23 5:44 ` phython at gcc dot gnu dot org 2005-09-19 17:44 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).