public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/57400] New: ICE: verify_ssa failed (definition in block n follows the use)
@ 2013-05-24 17:33 antoine.balestrat at gmail dot com
  2013-05-27  8:43 ` [Bug tree-optimization/57400] " rguenth at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: antoine.balestrat at gmail dot com @ 2013-05-24 17:33 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57400

            Bug ID: 57400
           Summary: ICE: verify_ssa failed (definition in block n follows
                    the use)
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: antoine.balestrat at gmail dot com

Hello !
I'm using GCC 4.9.0 as of 20130524.

$ cat ssa.c
int a;

void f(void)
{
    int b;

    for(a = 0; a < 23; a++)
        b |= a > 0;

    a = !!b;
}

$ xgcc -O3 -w ssa.c
ssa.c: In function ‘f’:
ssa.c:3:6: error: definition in block 2 follows the use
 void f(void)
      ^
for SSA_NAME: _7 in statement:
b_34 = b_22 | _7;
ssa.c:3:6: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-423079-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri May 24 17:38:27 2013
Return-Path: <gcc-bugs-return-423079-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 16770 invoked by alias); 24 May 2013 17:38:27 -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 16692 invoked by uid 48); 24 May 2013 17:38:23 -0000
From: "paolo.carlini at oracle dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/19618] Does warn if bit-fields exceed the size of bool types
Date: Fri, 24 May 2013 17:38: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: 3.3.3
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: paolo.carlini at oracle dot com
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: paolo.carlini at oracle dot com
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution target_milestone
Message-ID: <bug-19618-4-031Dce4wwU@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-19618-4@http.gcc.gnu.org/bugzilla/>
References: <bug-19618-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: 2013-05/txt/msg01752.txt.bz2
Content-length: 499

http://gcc.gnu.org/bugzilla/show_bug.cgi?id\x19618

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |4.9.0

--- Comment #8 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Done for 4.9.0.


^ permalink raw reply	[flat|nested] 6+ messages in thread
* [Bug tree-optimization/57400] ICE: verify_ssa failed (definition in block n follows the use)
  2013-05-24 17:33 [Bug tree-optimization/57400] New: ICE: verify_ssa failed (definition in block n follows the use) antoine.balestrat at gmail dot com
@ 2013-05-27  8:43 ` rguenth at gcc dot gnu.org
  2013-05-29  0:07 ` [Bug tree-optimization/57400] [4.9 Regression] " pinskia at gcc dot gnu.org
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-05-27  8:43 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57400

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |eraman at google dot com

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Probably a dup.


^ permalink raw reply	[flat|nested] 6+ messages in thread
* [Bug tree-optimization/57400] [4.9 Regression] ICE: verify_ssa failed (definition in block n follows the use)
  2013-05-24 17:33 [Bug tree-optimization/57400] New: ICE: verify_ssa failed (definition in block n follows the use) antoine.balestrat at gmail dot com
  2013-05-27  8:43 ` [Bug tree-optimization/57400] " rguenth at gcc dot gnu.org
@ 2013-05-29  0:07 ` pinskia at gcc dot gnu.org
  2013-07-01  5:27 ` d.g.gorbachev at gmail dot com
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu.org @ 2013-05-29  0:07 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57400

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.9.0
            Summary|ICE: verify_ssa failed      |[4.9 Regression] ICE:
                   |(definition in block n      |verify_ssa failed
                   |follows the use)            |(definition in block n
                   |                            |follows the use)


^ permalink raw reply	[flat|nested] 6+ messages in thread
* [Bug tree-optimization/57400] [4.9 Regression] ICE: verify_ssa failed (definition in block n follows the use)
  2013-05-24 17:33 [Bug tree-optimization/57400] New: ICE: verify_ssa failed (definition in block n follows the use) antoine.balestrat at gmail dot com
  2013-05-27  8:43 ` [Bug tree-optimization/57400] " rguenth at gcc dot gnu.org
  2013-05-29  0:07 ` [Bug tree-optimization/57400] [4.9 Regression] " pinskia at gcc dot gnu.org
@ 2013-07-01  5:27 ` d.g.gorbachev at gmail dot com
  2013-07-01 10:36 ` Joost.VandeVondele at mat dot ethz.ch
  2013-09-23  9:08 ` rguenth at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: d.g.gorbachev at gmail dot com @ 2013-07-01  5:27 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57400

--- Comment #2 from Dmitry Gorbachev <d.g.gorbachev at gmail dot com> ---
The following testcase causes a similar error / ICE (although I can't reproduce
the bug with the original testcase).

======================== 8< ========================
extern void bar(double);

struct S {
  int n;
};

void foo(struct S s, double a, int i, int j, int k)
{
  struct S t;
  bar(s.n * a * i * j);
  t.n = s.n * a * i * k;
}
======================== >8 ========================

$ gcc -S -g -O -ffast-math bug.c
bug.c: In function 'foo':
bug.c:7:6: error: definition in block 2 follows the use
 void foo(struct S s, double a, int i, int j, int k)
      ^
for SSA_NAME: _4 in statement:
# DEBUG D#3 => _4 * _6
bug.c:7:6: internal compiler error: verify_ssa failed
0x888c299 verify_ssa(bool)
    ../../gcc-4.9/gcc/tree-ssa.c:1046
0x85dc5ca execute_function_todo
    ../../gcc-4.9/gcc/passes.c:1970
0x85db901 do_per_function
    ../../gcc-4.9/gcc/passes.c:1707
0x85dc6df execute_todo
    ../../gcc-4.9/gcc/passes.c:2002
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.

GCC 4.9.0 20130630 (experimental).


^ permalink raw reply	[flat|nested] 6+ messages in thread
* [Bug tree-optimization/57400] [4.9 Regression] ICE: verify_ssa failed (definition in block n follows the use)
  2013-05-24 17:33 [Bug tree-optimization/57400] New: ICE: verify_ssa failed (definition in block n follows the use) antoine.balestrat at gmail dot com
                   ` (2 preceding siblings ...)
  2013-07-01  5:27 ` d.g.gorbachev at gmail dot com
@ 2013-07-01 10:36 ` Joost.VandeVondele at mat dot ethz.ch
  2013-09-23  9:08 ` rguenth at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: Joost.VandeVondele at mat dot ethz.ch @ 2013-07-01 10:36 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57400

Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2013-07-01
                 CC|                            |Joost.VandeVondele at mat dot ethz
                   |                            |.ch

--- Comment #3 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> ---
(In reply to Dmitry Gorbachev from comment #2)
> The following testcase causes a similar error / ICE (although I can't
> reproduce the bug with the original testcase).

this second testcase is almost certainly a dup of PR57393. It passes with
-fno-tree-reassoc. The testcase is conveniently smaller.

I assume it is caused (see also PR57370):
http://gcc.gnu.org/viewcvs/gcc?view=revision&revision=199048


The original testcase of this PR still fails for me (and also passes with
-fno-tree-reassoc).


^ permalink raw reply	[flat|nested] 6+ messages in thread
* [Bug tree-optimization/57400] [4.9 Regression] ICE: verify_ssa failed (definition in block n follows the use)
  2013-05-24 17:33 [Bug tree-optimization/57400] New: ICE: verify_ssa failed (definition in block n follows the use) antoine.balestrat at gmail dot com
                   ` (3 preceding siblings ...)
  2013-07-01 10:36 ` Joost.VandeVondele at mat dot ethz.ch
@ 2013-09-23  9:08 ` rguenth at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-09-23  9:08 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57400

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE

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

*** This bug has been marked as a duplicate of bug 57393 ***


^ permalink raw reply	[flat|nested] 6+ messages in thread
end of thread, other threads:[~2013-09-23  9:08 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-05-24 17:33 [Bug tree-optimization/57400] New: ICE: verify_ssa failed (definition in block n follows the use) antoine.balestrat at gmail dot com
2013-05-27  8:43 ` [Bug tree-optimization/57400] " rguenth at gcc dot gnu.org
2013-05-29  0:07 ` [Bug tree-optimization/57400] [4.9 Regression] " pinskia at gcc dot gnu.org
2013-07-01  5:27 ` d.g.gorbachev at gmail dot com
2013-07-01 10:36 ` Joost.VandeVondele at mat dot ethz.ch
2013-09-23  9:08 ` rguenth 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).