[Bug middle-end/64824] New: ICE in gimple verification

[Bug middle-end/64824] New: ICE in gimple verification

[u17263 at att dot net]

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

            Bug ID: 64824
           Summary: ICE in gimple verification
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: u17263 at att dot net

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

gcc version: 5.0.0 / svn: r220182

gcc -Wall -fopenmp -c bug-8.c
bug-8.c: In function ‘foo’:
bug-8.c:6:1: error: type mismatch in shift expression
 foo (void)
 ^
long long int
int
unsigned int
ldata.0 = expr << D.2971;
bug-8.c:6:1: internal compiler error: verify_gimple failed
0xb0102f verify_gimple_in_seq(gimple_statement_base*)
        /home/mentor/gomp/trunk/gcc/tree-cfg.c:4736
0x8cfd27 gimplify_body(tree_node*, bool)
        /home/mentor/gomp/trunk/gcc/gimplify.c:9117
0x8d0146 gimplify_function_tree(tree_node*)
        /home/mentor/gomp/trunk/gcc/gimplify.c:9202
0x715237 cgraph_node::analyze()
        /home/mentor/gomp/trunk/gcc/cgraphunit.c:620
0x717e4e analyze_functions
        /home/mentor/gomp/trunk/gcc/cgraphunit.c:1008
0x7185b5 symbol_table::finalize_compilation_unit()
        /home/mentor/gomp/trunk/gcc/cgraphunit.c:2365
0x5bb872 c_write_global_declarations()
        /home/mentor/gomp/trunk/gcc/c/c-decl.c:10789
>From gcc-bugs-return-475143-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Jan 27 19:40:19 2015
Return-Path: <gcc-bugs-return-475143-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 8204 invoked by alias); 27 Jan 2015 19:40:19 -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 8038 invoked by uid 55); 27 Jan 2015 19:40:14 -0000
From: "hubicka at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/64139] [4.9/5 Regression] ice in possible_polymorphic_call_targets, at ipa-devirt.c:2410
Date: Tue, 27 Jan 2015 19:40: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: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: hubicka at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: hubicka at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-64139-4-iu73iyKTSi@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64139-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64139-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-01/txt/msg03137.txt.bz2
Content-length: 661

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

--- Comment #9 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Author: hubicka
Date: Tue Jan 27 19:39:37 2015
New Revision: 220185

URL: https://gcc.gnu.org/viewcvs?rev"0185&root=gcc&view=rev
Log:

    PR ipa/60871
    PR ipa/64139
    * tree.c (lookup_binfo_at_offset): New function.
    (get_binfo_at_offset): Use it.

    * g++.dg/torture/pr64139.C: New testcase.
    * g++.dg/torture/pr60871.C: Likewise.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr60871.C
    trunk/gcc/testsuite/g++.dg/torture/pr64139.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree.c

[Bug middle-end/64824] ICE in gimple verification

[jakub at gcc dot gnu.org]

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

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed Feb  4 22:32:36 2015
New Revision: 220420

URL: https://gcc.gnu.org/viewcvs?rev=220420&root=gcc&view=rev
Log:
    PR c/64824
    PR c/64868
gcc/c/
    * c-parser.c (c_parser_omp_atomic): Handle RDIV_EXPR.
gcc/cp/
    * parser.c (cp_parser_omp_atomic): Handle RDIV_EXPR.
gcc/c-family/
    * c-omp.c (c_finish_omp_atomic): Use TRUNC_DIV_EXPR
    instead of RDIV_EXPR.  Use build_binary_op instead of
    build2_loc.
libgomp/
    * testsuite/libgomp.c/pr64824.c: New test.
    * testsuite/libgomp.c/pr64868.c: New test.
    * testsuite/libgomp.c++/pr64824.C: New test.
    * testsuite/libgomp.c++/pr64868.C: New test.

Added:
    trunk/libgomp/testsuite/libgomp.c++/pr64824.C
    trunk/libgomp/testsuite/libgomp.c++/pr64868.C
    trunk/libgomp/testsuite/libgomp.c/pr64824.c
    trunk/libgomp/testsuite/libgomp.c/pr64868.c
Modified:
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-omp.c
    trunk/gcc/c/ChangeLog
    trunk/gcc/c/c-parser.c
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/libgomp/ChangeLog

[Bug middle-end/64824] ICE in gimple verification

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-02-04
                 CC|                            |jakub at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed on the trunk so far.

[Bug middle-end/64824] ICE in gimple verification

[dcb314 at hotmail dot com]

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

David Binderman <dcb314 at hotmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dcb314 at hotmail dot com

--- Comment #3 from David Binderman <dcb314 at hotmail dot com> ---
Created attachment 34720
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34720&action=edit
C++ source code

[Bug middle-end/64824] ICE in gimple verification

[dcb314 at hotmail dot com]

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

--- Comment #4 from David Binderman <dcb314 at hotmail dot com> ---
The attached code fails on trunk dated 20150211

../kpx_cpu/src/cpu/jit/basic-dyngen-ops.cpp:166:6: error: type mismatch in
shift
 expression
 DEFINE_OP(rol_32_T0_im, T0 = do_rol_32(T0, PARAM1));
      ^
unsigned int
unsigned int
int *
T0.167 = T0.166 r<< &__op_PARAM1;
../kpx_cpu/src/cpu/jit/basic-dyngen-ops.cpp:166:6: internal compiler error:
veri
fy_gimple failed
0xc05b14 verify_gimple_in_seq(gimple_statement_base*)

[Bug middle-end/64824] ICE in gimple verification

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
What does #c3 have to do with this?  I don't see any OpenMP pragmas in your
code, therefore it can't be related to this.  File a new PR?

[Bug middle-end/64824] ICE in gimple verification

[jakub at gcc dot gnu.org]

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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed Feb 11 13:40:31 2015
New Revision: 220617

URL: https://gcc.gnu.org/viewcvs?rev=220617&root=gcc&view=rev
Log:
    PR c/64824
    * c-parser.c (c_parser_binary_expression): Fix OpenMP stack[sp].prec
    check in the POP macro.

    * testsuite/libgomp.c/atomic-18.c: New test.
    * testsuite/libgomp.c++/atomic-16.C: New test.

Added:
    trunk/libgomp/testsuite/libgomp.c++/atomic-16.C
    trunk/libgomp/testsuite/libgomp.c/atomic-18.c
Modified:
    trunk/gcc/c/ChangeLog
    trunk/gcc/c/c-parser.c
    trunk/libgomp/ChangeLog

[Bug middle-end/64824] ICE in gimple verification

[jakub at gcc dot gnu.org]

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

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed Feb 11 14:44:10 2015
New Revision: 220622

URL: https://gcc.gnu.org/viewcvs?rev=220622&root=gcc&view=rev
Log:
    Backported from mainline
    2015-02-04  Jakub Jelinek  <jakub@redhat.com>

    PR c/64824
    PR c/64868
    * c-omp.c (c_finish_omp_atomic): Use TRUNC_DIV_EXPR
    instead of RDIV_EXPR.  Use build_binary_op instead of
    build2_loc.

    * c-parser.c (c_parser_omp_atomic): Handle RDIV_EXPR.

    * parser.c (cp_parser_omp_atomic): Handle RDIV_EXPR.

    * testsuite/libgomp.c/pr64824.c: New test.
    * testsuite/libgomp.c/pr64868.c: New test.
    * testsuite/libgomp.c++/pr64824.C: New test.
    * testsuite/libgomp.c++/pr64868.C: New test.

Added:
    branches/gcc-4_9-branch/libgomp/testsuite/libgomp.c++/pr64824.C
    branches/gcc-4_9-branch/libgomp/testsuite/libgomp.c++/pr64868.C
    branches/gcc-4_9-branch/libgomp/testsuite/libgomp.c/pr64824.c
    branches/gcc-4_9-branch/libgomp/testsuite/libgomp.c/pr64868.c
Modified:
    branches/gcc-4_9-branch/gcc/c-family/ChangeLog
    branches/gcc-4_9-branch/gcc/c-family/c-omp.c
    branches/gcc-4_9-branch/gcc/c/ChangeLog
    branches/gcc-4_9-branch/gcc/c/c-parser.c
    branches/gcc-4_9-branch/gcc/cp/ChangeLog
    branches/gcc-4_9-branch/gcc/cp/parser.c
    branches/gcc-4_9-branch/libgomp/ChangeLog

[Bug middle-end/64824] ICE in gimple verification

[jakub at gcc dot gnu.org]

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

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed Feb 11 14:48:41 2015
New Revision: 220624

URL: https://gcc.gnu.org/viewcvs?rev=220624&root=gcc&view=rev
Log:
    PR c/64824
    * c-parser.c (c_parser_binary_expression): Fix OpenMP stack[sp].prec
    check in the POP macro.

    * testsuite/libgomp.c/atomic-18.c: New test.
    * testsuite/libgomp.c++/atomic-16.C: New test.

Added:
    branches/gcc-4_9-branch/libgomp/testsuite/libgomp.c++/atomic-16.C
    branches/gcc-4_9-branch/libgomp/testsuite/libgomp.c/atomic-18.c
Modified:
    branches/gcc-4_9-branch/gcc/c/ChangeLog
    branches/gcc-4_9-branch/gcc/c/c-parser.c
    branches/gcc-4_9-branch/libgomp/ChangeLog

[Bug middle-end/64824] ICE in gimple verification

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.