[Bug c/64269] New: ICE with -O3 enabled on Ubuntu 14.04

[Bug c/64269] New: ICE with -O3 enabled on Ubuntu 14.04

[tarasevich at cs dot uni-saarland.de]

[-- 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?

[Bug c/64269] ICE with -O3 enabled on Ubuntu 14.04

[trippels at gcc dot gnu.org]

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);

[Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04

[jakub at gcc dot gnu.org]

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);
}

[Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04

[jakub at gcc dot gnu.org]

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.

[Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04

[jakub at gcc dot gnu.org]

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

[Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04

[jakub at gcc dot gnu.org]

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

[Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04

[jakub at gcc dot gnu.org]

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

[Bug tree-optimization/64269] [4.8/4.9/5 Regression] ICE with -O3 enabled on Ubuntu 14.04

[jakub at gcc dot gnu.org]

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.