[Bug c/67271] New: ICE with -O1,2,3 on darwin14.5 x86_64

[Bug c/67271] New: ICE with -O1,2,3 on darwin14.5 x86_64

[tarasevich at cs dot uni-saarland.de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67271

            Bug ID: 67271
           Summary: ICE with -O1,2,3 on darwin14.5 x86_64
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tarasevich at cs dot uni-saarland.de
  Target Milestone: ---

Created attachment 36212
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36212&action=edit
preprocessed test case

Although test case has out of bounds read, it still yield ICE.

GCC was compiled from SVN trunk revision 226781

gcc -v -save-temps -O1 test_case_38.c 
Using built-in specs.
COLLECT_GCC=/Users/sevich/work/build_normal/bin/gcc
COLLECT_LTO_WRAPPER=/Users/sevich/work/build_normal/libexec/gcc/x86_64-apple-darwin14.5.0/6.0.0/lto-wrapper
Target: x86_64-apple-darwin14.5.0
Configured with: /Users/sevich/work/source/gcc_trunk_git/configure
--disable-bootstrap --enable-languages=c,c++
--prefix=/Users/sevich/work/build_normal/
Thread model: posix
gcc version 6.0.0 20150811 (experimental) (GCC) 
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.10.5' '-v' '-save-temps' '-O1'
'-mtune=core2'

/Users/sevich/work/build_normal/libexec/gcc/x86_64-apple-darwin14.5.0/6.0.0/cc1
-E -quiet -v -D__DYNAMIC__ test_case_38.c -fPIC -mmacosx-version-min=10.10.5
-mtune=core2 -O1 -fpch-preprocess -o test_case_38.i
ignoring nonexistent directory
"/Users/sevich/work/build_normal/lib/gcc/x86_64-apple-darwin14.5.0/6.0.0/../../../../x86_64-apple-darwin14.5.0/include"
#include "..." search starts here:
#include <...> search starts here:

/Users/sevich/work/build_normal/lib/gcc/x86_64-apple-darwin14.5.0/6.0.0/include
 /usr/local/include
 /Users/sevich/work/build_normal/include

/Users/sevich/work/build_normal/lib/gcc/x86_64-apple-darwin14.5.0/6.0.0/include-fixed
 /usr/include
 /System/Library/Frameworks
 /Library/Frameworks
End of search list.
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.10.5' '-v' '-save-temps' '-O1'
'-mtune=core2'

/Users/sevich/work/build_normal/libexec/gcc/x86_64-apple-darwin14.5.0/6.0.0/cc1
-fpreprocessed test_case_38.i -fPIC -quiet -dumpbase test_case_38.c
-mmacosx-version-min=10.10.5 -mtune=core2 -auxbase test_case_38 -O1 -version -o
test_case_38.s
GNU C11 (GCC) version 6.0.0 20150811 (experimental) (x86_64-apple-darwin14.5.0)
        compiled by GNU C version 4.2.1 Compatible Apple LLVM 6.1.0
(clang-602.0.53), GMP version 6.0.0, MPFR version 3.1.2, MPC version 1.0.3
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C11 (GCC) version 6.0.0 20150811 (experimental) (x86_64-apple-darwin14.5.0)
        compiled by GNU C version 4.2.1 Compatible Apple LLVM 6.1.0
(clang-602.0.53), GMP version 6.0.0, MPFR version 3.1.2, MPC version 1.0.3
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 700dea0ce5ef3b798edb9c9160a43b26
test_case_38.c: In function ‘main’:
test_case_38.c:5:15: warning: initialization from incompatible pointer type
[-Wincompatible-pointer-types]
     long *a = "empty";
               ^
test_case_38.c:7:12: warning: implicit declaration of function ‘labs’
[-Wimplicit-function-declaration]
     a[i] = labs(a[i]);
            ^
test_case_38.c:7:12: warning: incompatible implicit declaration of built-in
function ‘labs’
test_case_38.c:7:12: note: include ‘<stdlib.h>’ or provide a declaration of
‘labs’
test_case_38.c:9:1: internal compiler error: Segmentation fault: 11
 }
 ^
libbacktrace could not find executable to open
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-495168-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Aug 19 09:43:05 2015
Return-Path: <gcc-bugs-return-495168-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 22599 invoked by alias); 19 Aug 2015 09:43:05 -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 22499 invoked by uid 48); 19 Aug 2015 09:43:00 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/67050] [C++14] ICE when calling a template member function from a lambda with implicit "this" capture
Date: Wed, 19 Aug 2015 09:43: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: 6.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
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
Message-ID: <bug-67050-4-JOEVqkwszY@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-67050-4@http.gcc.gnu.org/bugzilla/>
References: <bug-67050-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: 2015-08/txt/msg01310.txt.bz2
Content-length: 594

https://gcc.gnu.org/bugzilla/show_bug.cgi?idg050

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-08-19
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
With -std=c++1y an ICE started with r200948.

[Bug middle-end/67271] [5/6 Regression] ICE with -O1,2,3 on darwin14.5 x86_64

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67271

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-08-19
     Ever confirmed|0                           |1

[Bug middle-end/67271] [5/6 Regression] ICE with -O1,2,3 on darwin14.5 x86_64

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67271

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org
          Component|c                           |middle-end
   Target Milestone|---                         |5.3
            Summary|ICE with -O1,2,3 on         |[5/6 Regression] ICE with
                   |darwin14.5 x86_64           |-O1,2,3 on darwin14.5
                   |                            |x86_64

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed, started with r213045.  Not Darwin-specific.

[Bug middle-end/67271] [5/6 Regression] ICE with -O1,2,3 on darwin14.5 x86_64

[mpolacek at gcc dot gnu.org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 5493 bytes --]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67271

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
long int labs (long int j);
int
main ()
{
  long *a = "empty";
  int i = 1441516387;
  a[i] = labs (a[i]);
  return 0;
}

$ ./cc1 -quiet q.c -O
q.c: In function ‘main’:
q.c:5:13: warning: initialization from incompatible pointer type
[-Wincompatible-pointer-types]
   long *a = "empty";
             ^
q.c:9:1: internal compiler error: Segmentation fault
 }
 ^
0xd5be56 crash_signal
        /home/marek/src/gcc/gcc/toplev.c:352
0xa11ecf native_encode_string
        /home/marek/src/gcc/gcc/fold-const.c:7095
0xa11fb8 native_encode_expr(tree_node const*, unsigned char*, int, int)
        /home/marek/src/gcc/gcc/fold-const.c:7127
0xa83bac fold_ctor_reference(tree_node*, tree_node*, unsigned long, unsigned
long, tree_node*)
        /home/marek/src/gcc/gcc/gimple-fold.c:5441
0xa841ce fold_const_aggregate_ref_1(tree_node*, tree_node* (*)(tree_node*))
        /home/marek/src/gcc/gcc/gimple-fold.c:5558
0xa81d11 gimple_fold_stmt_to_constant_1(gimple_statement_base*, tree_node*
(*)(tree_node*), tree_node* (*)(tree_node*))
        /home/marek/src/gcc/gcc/gimple-fold.c:5000
0xe9a2af ccp_fold
        /home/marek/src/gcc/gcc/tree-ssa-ccp.c:1218
0xe9cf26 evaluate_stmt
        /home/marek/src/gcc/gcc/tree-ssa-ccp.c:1738
0xe9f241 visit_assignment
        /home/marek/src/gcc/gcc/tree-ssa-ccp.c:2294
0xe9f487 ccp_visit_stmt
        /home/marek/src/gcc/gcc/tree-ssa-ccp.c:2367
0xf47f24 simulate_stmt
        /home/marek/src/gcc/gcc/tree-ssa-propagate.c:339
0xf485cf simulate_block
        /home/marek/src/gcc/gcc/tree-ssa-propagate.c:517
0xf497c6 ssa_propagate(ssa_prop_result (*)(gimple_statement_base*, edge_def**,
tree_node**), ssa_prop_result (*)(gphi*))
        /home/marek/src/gcc/gcc/tree-ssa-propagate.c:934
0xe9f58b do_ssa_ccp
        /home/marek/src/gcc/gcc/tree-ssa-ccp.c:2410
0xe9f646 execute
        /home/marek/src/gcc/gcc/tree-ssa-ccp.c:2443
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-495172-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Aug 19 09:54:25 2015
Return-Path: <gcc-bugs-return-495172-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 37280 invoked by alias); 19 Aug 2015 09:54:25 -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 37253 invoked by uid 48); 19 Aug 2015 09:54:22 -0000
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/67272] New: [HSA] register allocator expects that every register must be assigned
Date: Wed, 19 Aug 2015 09:54:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: hsa
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution:
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_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone attachments.created
Message-ID: <bug-67272-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: 2015-08/txt/msg01314.txt.bz2
Content-length: 1396

https://gcc.gnu.org/bugzilla/show_bug.cgi?idg272

            Bug ID: 67272
           Summary: [HSA] register allocator expects that every register
                    must be assigned
           Product: gcc
           Version: hsa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---

Created attachment 36213
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id6213&actioníit
Test case

Hi Michael.

Current HSA RA produces SEGFAULT in case of we have a register that is never
assigned.

ICE:
/tmp/test2.c:3:1: internal compiler error: Segmentation fault
 bar ()
 ^
0xed3dd4 crash_signal
        ../../gcc/toplev.c:353
0xc5fc9d cmp_begin
        ../../gcc/hsa-regalloc.c:448
0xc613e3 vec<hsa_op_reg*, va_heap, vl_embed>::qsort(int (*)(void const*, void
const*))
        ../../gcc/vec.h:938
0xc610a5 vec<hsa_op_reg*, va_heap, vl_ptr>::qsort(int (*)(void const*, void
const*))
        ../../gcc/vec.h:1666
0xc6087b linear_scan_regalloc
        ../../gcc/hsa-regalloc.c:682
0xc60e4e regalloc
        ../../gcc/hsa-regalloc.c:786
0xc60f07 hsa_regalloc()
        ../../gcc/hsa-regalloc.c:806
0xc5a63a generate_hsa
        ../../gcc/hsa-gen.c:3240
0xc5b254 execute
        ../../gcc/hsa-gen.c:3485


Thanks,
Martin

[Bug middle-end/67271] [5/6 Regression] ICE with -O1,2,3 on darwin14.5 x86_64

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67271

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Seems like native_encode_string should deal with nonsensical offset:
(gdb) p off
$4 = -1352770792

[Bug middle-end/67271] [5/6 Regression] ICE with -O1,2,3 on darwin14.5 x86_64

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67271

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.

[Bug middle-end/67271] [5 Regression] ICE with -O1,2,3 on darwin14.5 x86_64

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67271

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |6.0
            Summary|[5/6 Regression] ICE with   |[5 Regression] ICE with
                   |-O1,2,3 on darwin14.5       |-O1,2,3 on darwin14.5
                   |x86_64                      |x86_64
      Known to fail|                            |5.2.0

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk sofar.

[Bug middle-end/67271] [5 Regression] ICE with -O1,2,3 on darwin14.5 x86_64

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67271

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Mon Sep 21 09:55:57 2015
New Revision: 227961

URL: https://gcc.gnu.org/viewcvs?rev=227961&root=gcc&view=rev
Log:
2015-09-21  Richard Biener  <rguenther@suse.de>

        Backport from mainline
        2015-07-08  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/66793
        * gimple-ssa-isolate-paths.c
(insert_trap_and_remove_trailing_statemen):
        Properly split the block after stmts ending it.

        * gcc.dg/torture/pr66793.c: New testcase.

        2015-08-05  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/67055
        * tree-ssa-ccp.c (fold_builtin_alloca_with_align): Handle
        NULL gimple_block.

        * g++.dg/torture/pr67055.C: New testcase.

        2015-08-05  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/67121
        * tree-if-conv.c (combine_blocks): Clear range-info produced
        by stmts no longer executed conditionally.

        * gcc.dg/torture/pr67121.c: New testcase.

        2015-09-16  Richard Biener  <rguenther@suse.de>

        PR middle-end/67271
        * fold-const.c (native_encode_expr): Bail out on bogus offsets.

        * gcc.dg/pr67271.c: New testcase.

        2015-07-22  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/66952
        * tree-ssa-ifcombine.c (pass_tree_ifcombine::execute): For
        blocks we end up executing unconditionally reset all SSA
        info such as range and alignment.
        * tree-ssanames.h (reset_flow_sensitive_info): Declare.
        * tree-ssanames.c (reset_flow_sensitive_info): New function.

        * gcc.dg/torture/pr66952.c: New testcase.

        2015-09-15  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/67470
        * tree-ssa-loop-im.c (execute_sm_if_changed): Preserve PHI
        structure for PHI hoisting by inserting a forwarder block
        if appropriate.

        * gcc.dg/torture/pr67470.c: New testcase.

Added:
    branches/gcc-5-branch/gcc/testsuite/g++.dg/torture/pr67055.C
    branches/gcc-5-branch/gcc/testsuite/gcc.dg/pr67271.c
    branches/gcc-5-branch/gcc/testsuite/gcc.dg/torture/pr66793.c
    branches/gcc-5-branch/gcc/testsuite/gcc.dg/torture/pr66952.c
    branches/gcc-5-branch/gcc/testsuite/gcc.dg/torture/pr67121.c
    branches/gcc-5-branch/gcc/testsuite/gcc.dg/torture/pr67470.c
Modified:
    branches/gcc-5-branch/gcc/ChangeLog
    branches/gcc-5-branch/gcc/fold-const.c
    branches/gcc-5-branch/gcc/gimple-ssa-isolate-paths.c
    branches/gcc-5-branch/gcc/testsuite/ChangeLog
    branches/gcc-5-branch/gcc/tree-if-conv.c
    branches/gcc-5-branch/gcc/tree-ssa-ccp.c
    branches/gcc-5-branch/gcc/tree-ssa-ifcombine.c
    branches/gcc-5-branch/gcc/tree-ssa-loop-im.c
    branches/gcc-5-branch/gcc/tree-ssanames.c
    branches/gcc-5-branch/gcc/tree-ssanames.h

[Bug middle-end/67271] [5 Regression] ICE with -O1,2,3 on darwin14.5 x86_64

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67271

Richard Biener <rguenth at gcc dot gnu.org> changed:

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

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.