From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 5881 invoked by alias); 11 Dec 2014 13:23:03 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 5841 invoked by uid 48); 11 Dec 2014 13:22:58 -0000 From: "trippels at gcc dot 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:23: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: bug_status cf_reconfirmed_on cc everconfirmed cf_known_to_fail Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2014-12/txt/msg01273.txt.bz2 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D64269 Markus Trippelsdorf 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 --- Confirmed. =3D=3D3714=3D=3D Invalid write of size 8 =3D=3D3714=3D=3D at 0x402F8B7: memset (vg_replace_strmem.c:1094) =3D=3D3714=3D=3D by 0xBC185D: simplify_builtin_call(gimple_stmt_iterator= *, tree_node*) (tree-ssa-forwprop.c:1396) =3D=3D3714=3D=3D Address 0xfff001000 is not stack'd, malloc'd or (recently= ) free'd =3D=3D3714=3D=3D=20 test_case_7213.c: In function =E2=80=98main=E2=80=99: 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: 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: List-Archive: List-Post: List-Help: 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" 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: In-Reply-To: References: 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?id=64269 --- Comment #2 from Markus Trippelsdorf --- 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);