public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/64269] New: ICE with -O3 enabled on Ubuntu 14.04
@ 2014-12-11 13:17 tarasevich at cs dot uni-saarland.de
2014-12-11 13:23 ` [Bug c/64269] " trippels at gcc dot gnu.org
` (6 more replies)
0 siblings, 7 replies; 8+ messages in thread
From: tarasevich at cs dot uni-saarland.de @ 2014-12-11 13:17 UTC (permalink / raw)
To: gcc-bugs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 5342 bytes --]
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64269
Bug ID: 64269
Summary: ICE with -O3 enabled on Ubuntu 14.04
Product: gcc
Version: 4.9.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: tarasevich at cs dot uni-saarland.de
Created attachment 34251
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34251&action=edit
preprocessed test case
home/tarasevich/build/bin/gcc492 -v -save-temps -O3 test_case_7213.c
Using built-in specs.
COLLECT_GCC=/home/tarasevich/build/bin/gcc492
COLLECT_LTO_WRAPPER=/home/tarasevich/build/libexec/gcc/x86_64-unknown-linux-gnu/4.9.2/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../../source/gcc_492/configure --enable-coverage
--prefix=/home/tarasevich/build/ --program-suffix=492 --disable-multilib
Thread model: posix
gcc version 4.9.2 (GCC)
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O3' '-mtune=generic' '-march=x86-64'
/home/tarasevich/build/libexec/gcc/x86_64-unknown-linux-gnu/4.9.2/cc1 -E
-quiet -v -imultiarch x86_64-linux-gnu test_case_7213.c -mtune=generic
-march=x86-64 -O3 -fpch-preprocess -o test_case_7213.i
ignoring nonexistent directory "/usr/local/include/x86_64-linux-gnu"
ignoring nonexistent directory
"/home/tarasevich/build/lib/gcc/x86_64-unknown-linux-gnu/4.9.2/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
/home/tarasevich/build/lib/gcc/x86_64-unknown-linux-gnu/4.9.2/include
/usr/local/include
/home/tarasevich/build/include
/home/tarasevich/build/lib/gcc/x86_64-unknown-linux-gnu/4.9.2/include-fixed
/usr/include/x86_64-linux-gnu
/usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O3' '-mtune=generic' '-march=x86-64'
/home/tarasevich/build/libexec/gcc/x86_64-unknown-linux-gnu/4.9.2/cc1
-fpreprocessed test_case_7213.i -quiet -dumpbase test_case_7213.c
-mtune=generic -march=x86-64 -auxbase test_case_7213 -O3 -version -o
test_case_7213.s
GNU C (GCC) version 4.9.2 (x86_64-unknown-linux-gnu)
compiled by GNU C version 4.9.2, GMP version 4.3.2, MPFR version 2.4.2, MPC
version 0.8.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
GNU C (GCC) version 4.9.2 (x86_64-unknown-linux-gnu)
compiled by GNU C version 4.9.2, GMP version 4.3.2, MPFR version 2.4.2, MPC
version 0.8.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: fc102f9fe8436bee9826789629a3ba6f
test_case_7213.c: In function âmainâ:
test_case_7213.c:1:5: internal compiler error: Segmentation fault
int main() {
^
0xdeed4a crash_signal
../../../source/gcc_492/gcc/toplev.c:337
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-470265-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Dec 11 13:20:34 2014
Return-Path: <gcc-bugs-return-470265-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 4698 invoked by alias); 11 Dec 2014 13:20:33 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 4608 invoked by uid 48); 11 Dec 2014 13:20:23 -0000
From: "jamborm at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/64190] [4.9 Regression] FAIL: gcc.dg/ipa/pr63551.c (test for excess errors)
Date: Thu, 11 Dec 2014 13:20:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 4.9.3
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jamborm at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.4
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-64190-4-OAsrhYptod@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64190-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64190-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-12/txt/msg01272.txt.bz2
Content-length: 510
https://gcc.gnu.org/bugzilla/show_bug.cgi?idd190
--- Comment #3 from Martin Jambor <jamborm at gcc dot gnu.org> ---
(In reply to Eric Botcazou from comment #2)
> Everywhere I guess.
I'm not getting this warning neither on x86_64-linux nor on i686-linux,
otherwise I would not have committed the patch. Any information about
the platform you are getting the warning on would be appreciated.
If you can reproduce it, can you check whether providing option
-stdÉ0 or something like it would suppress it?
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c/64269] ICE with -O3 enabled on Ubuntu 14.04
2014-12-11 13:17 [Bug c/64269] New: ICE with -O3 enabled on Ubuntu 14.04 tarasevich at cs dot uni-saarland.de
@ 2014-12-11 13:23 ` trippels at gcc dot gnu.org
2014-12-12 8:39 ` [Bug tree-optimization/64269] [4.8/4.9/5 Regression] " jakub at gcc dot gnu.org
` (5 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: trippels at gcc dot gnu.org @ 2014-12-11 13:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64269
Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2014-12-11
CC| |trippels at gcc dot gnu.org
Ever confirmed|0 |1
Known to fail| |4.8.3, 4.9.1, 5.0
--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Confirmed.
==3714== Invalid write of size 8
==3714== at 0x402F8B7: memset (vg_replace_strmem.c:1094)
==3714== by 0xBC185D: simplify_builtin_call(gimple_stmt_iterator*,
tree_node*) (tree-ssa-forwprop.c:1396)
==3714== Address 0xfff001000 is not stack'd, malloc'd or (recently) free'd
==3714==
test_case_7213.c: In function ‘main’:
test_case_7213.c:1:5: internal compiler error: Segmentation fault
>From gcc-bugs-return-470267-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Dec 11 13:27:46 2014
Return-Path: <gcc-bugs-return-470267-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 10829 invoked by alias); 11 Dec 2014 13:27:46 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 10335 invoked by uid 48); 11 Dec 2014 13:27:39 -0000
From: "trippels at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/64269] ICE with -O3 enabled on Ubuntu 14.04
Date: Thu, 11 Dec 2014 13:27:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: 4.9.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: trippels at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-64269-4-QOGEqoC2KP@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64269-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64269-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-12/txt/msg01274.txt.bz2
Content-length: 615
https://gcc.gnu.org/bugzilla/show_bug.cgi?idd269
--- Comment #2 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
But the testcase is invalid:
markus@x4 tmp % frama-c -val -val-signed-overflow-alarms -precise-unions
-obviously-terminates -no-val-show-progress -machdep x86_64 test_case_7213.c
[kernel] preprocessing with "gcc -C -E -I. test_case_7213.c"
[value] Analyzing a complete application starting at main
[value] Computing initial state
[value] Initial state computed
[value] Values of globals at initialization
test_case_7213.c:14:[kernel] warning: out of bounds write. assert
\valid(tmp_5);
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04
2014-12-11 13:17 [Bug c/64269] New: ICE with -O3 enabled on Ubuntu 14.04 tarasevich at cs dot uni-saarland.de
2014-12-11 13:23 ` [Bug c/64269] " trippels at gcc dot gnu.org
@ 2014-12-12 8:39 ` jakub at gcc dot gnu.org
2014-12-12 8:49 ` jakub at gcc dot gnu.org
` (4 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-12-12 8:39 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64269
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Shorter testcase:
void
foo (char *p)
{
__SIZE_TYPE__ s = ~(__SIZE_TYPE__)0;
*p = 0;
__builtin_memset (p + 1, 0, s);
}
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04
2014-12-11 13:17 [Bug c/64269] New: ICE with -O3 enabled on Ubuntu 14.04 tarasevich at cs dot uni-saarland.de
2014-12-11 13:23 ` [Bug c/64269] " trippels at gcc dot gnu.org
2014-12-12 8:39 ` [Bug tree-optimization/64269] [4.8/4.9/5 Regression] " jakub at gcc dot gnu.org
@ 2014-12-12 8:49 ` jakub at gcc dot gnu.org
2014-12-12 13:32 ` jakub at gcc dot gnu.org
` (3 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-12-12 8:49 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64269
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 34260
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34260&action=edit
gcc5-pr64269.patch
Untested fix.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04
2014-12-11 13:17 [Bug c/64269] New: ICE with -O3 enabled on Ubuntu 14.04 tarasevich at cs dot uni-saarland.de
` (2 preceding siblings ...)
2014-12-12 8:49 ` jakub at gcc dot gnu.org
@ 2014-12-12 13:32 ` jakub at gcc dot gnu.org
2014-12-13 8:43 ` jakub at gcc dot gnu.org
` (2 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-12-12 13:32 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64269
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Dec 12 13:32:16 2014
New Revision: 218669
URL: https://gcc.gnu.org/viewcvs?rev=218669&root=gcc&view=rev
Log:
PR tree-optimization/64269
* tree-ssa-forwprop.c (simplify_builtin_call): Bail out if
len2 or diff are too large.
* gcc.c-torture/compile/pr64269.c: New test.
Added:
trunk/gcc/testsuite/gcc.c-torture/compile/pr64269.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-forwprop.c
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04
2014-12-11 13:17 [Bug c/64269] New: ICE with -O3 enabled on Ubuntu 14.04 tarasevich at cs dot uni-saarland.de
` (3 preceding siblings ...)
2014-12-12 13:32 ` jakub at gcc dot gnu.org
@ 2014-12-13 8:43 ` jakub at gcc dot gnu.org
2014-12-13 8:57 ` jakub at gcc dot gnu.org
2014-12-13 8:58 ` jakub at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-12-13 8:43 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64269
--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Sat Dec 13 08:43:09 2014
New Revision: 218703
URL: https://gcc.gnu.org/viewcvs?rev=218703&root=gcc&view=rev
Log:
Backported from mainline
2014-12-12 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/64269
* tree-ssa-forwprop.c (simplify_builtin_call): Bail out if
len2 or diff are too large.
* gcc.c-torture/compile/pr64269.c: New test.
Added:
branches/gcc-4_9-branch/gcc/testsuite/gcc.c-torture/compile/pr64269.c
Modified:
branches/gcc-4_9-branch/gcc/ChangeLog
branches/gcc-4_9-branch/gcc/testsuite/ChangeLog
branches/gcc-4_9-branch/gcc/tree-ssa-forwprop.c
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04
2014-12-11 13:17 [Bug c/64269] New: ICE with -O3 enabled on Ubuntu 14.04 tarasevich at cs dot uni-saarland.de
` (4 preceding siblings ...)
2014-12-13 8:43 ` jakub at gcc dot gnu.org
@ 2014-12-13 8:57 ` jakub at gcc dot gnu.org
2014-12-13 8:58 ` jakub at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-12-13 8:57 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64269
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Sat Dec 13 08:57:05 2014
New Revision: 218704
URL: https://gcc.gnu.org/viewcvs?rev=218704&root=gcc&view=rev
Log:
Backported from mainline
2014-12-12 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/64269
* tree-ssa-forwprop.c (simplify_builtin_call): Bail out if
len2 or diff are too large.
* gcc.c-torture/compile/pr64269.c: New test.
Added:
branches/gcc-4_8-branch/gcc/testsuite/gcc.c-torture/compile/pr64269.c
Modified:
branches/gcc-4_8-branch/gcc/ChangeLog
branches/gcc-4_8-branch/gcc/testsuite/ChangeLog
branches/gcc-4_8-branch/gcc/tree-ssa-forwprop.c
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04
2014-12-11 13:17 [Bug c/64269] New: ICE with -O3 enabled on Ubuntu 14.04 tarasevich at cs dot uni-saarland.de
` (5 preceding siblings ...)
2014-12-13 8:57 ` jakub at gcc dot gnu.org
@ 2014-12-13 8:58 ` jakub at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-12-13 8:58 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64269
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2014-12-13 8:58 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-12-11 13:17 [Bug c/64269] New: ICE with -O3 enabled on Ubuntu 14.04 tarasevich at cs dot uni-saarland.de
2014-12-11 13:23 ` [Bug c/64269] " trippels at gcc dot gnu.org
2014-12-12 8:39 ` [Bug tree-optimization/64269] [4.8/4.9/5 Regression] " jakub at gcc dot gnu.org
2014-12-12 8:49 ` jakub at gcc dot gnu.org
2014-12-12 13:32 ` jakub at gcc dot gnu.org
2014-12-13 8:43 ` jakub at gcc dot gnu.org
2014-12-13 8:57 ` jakub at gcc dot gnu.org
2014-12-13 8:58 ` jakub at gcc dot gnu.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).