public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/45876] New: ICE: verify_gimple failed
@ 2010-10-03 18:44 rmansfield at qnx dot com
  2010-10-03 20:14 ` [Bug middle-end/45876] [4.6 Regression] " rguenth at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: rmansfield at qnx dot com @ 2010-10-03 18:44 UTC (permalink / raw)
  To: gcc-bugs

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

           Summary: ICE: verify_gimple failed
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rmansfield@qnx.com


Created attachment 21950
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=21950
preprocessed C source

$ ./xgcc -v
Using built-in specs.
COLLECT_GCC=./xgcc
Target: i686-pc-linux-gnu
Configured with: ../configure --disable-bootstrap --enable-languages=c++
Thread model: posix
gcc version 4.6.0 20101003 (experimental) [trunk revision 164915] (GCC) 

$ ./xgcc -B. -O1 ~/t.i
/home/ryan/t.i: In function ‘gcLINKTREE_GenerateStates’:
/home/ryan/t.i:91:10: warning: excess elements in struct initialiser [enabled
by default]
/home/ryan/t.i:91:10: warning: (near initialisation for ‘codeGen’) [enabled by
default]
/home/ryan/t.i: In function ‘_ProcessSampler’:
/home/ryan/t.i:46:33: error: type mismatch in binary expression
short int

short unsigned int

gctUINT16

D.2116 = D.2115 + index;

/home/ryan/t.i:46:33: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug middle-end/45876] [4.6 Regression] ICE: verify_gimple failed
  2010-10-03 18:44 [Bug middle-end/45876] New: ICE: verify_gimple failed rmansfield at qnx dot com
@ 2010-10-03 20:14 ` rguenth at gcc dot gnu.org
  2010-10-04  1:09 ` hjl.tools at gmail dot com
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2010-10-03 20:14 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.10.03 20:14:21
   Target Milestone|---                         |4.6.0
            Summary|ICE: verify_gimple failed   |[4.6 Regression] ICE:
                   |                            |verify_gimple failed
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-03 20:14:21 UTC ---
Confirmed.  Bogus gimplifying happens.

Testcase:

typedef unsigned short gctUINT16;
gctUINT16 _ProcessSampler(gctUINT16 cvalue, gctUINT16 index)
{
  return (index & ~((1<<14)-1))
      | (gctUINT16) ((index & ((1<<14)-1)) + cvalue) & ((1<<14)-1);
}


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug middle-end/45876] [4.6 Regression] ICE: verify_gimple failed
  2010-10-03 18:44 [Bug middle-end/45876] New: ICE: verify_gimple failed rmansfield at qnx dot com
  2010-10-03 20:14 ` [Bug middle-end/45876] [4.6 Regression] " rguenth at gcc dot gnu.org
@ 2010-10-04  1:09 ` hjl.tools at gmail dot com
  2010-10-04  9:27 ` jakub at gcc dot gnu.org
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: hjl.tools at gmail dot com @ 2010-10-04  1:09 UTC (permalink / raw)
  To: gcc-bugs

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at redhat dot com

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2010-10-04 01:09:20 UTC ---
It is caused by revision 164761:

http://gcc.gnu.org/ml/gcc-cvs/2010-09/msg01060.html


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug middle-end/45876] [4.6 Regression] ICE: verify_gimple failed
  2010-10-03 18:44 [Bug middle-end/45876] New: ICE: verify_gimple failed rmansfield at qnx dot com
  2010-10-03 20:14 ` [Bug middle-end/45876] [4.6 Regression] " rguenth at gcc dot gnu.org
  2010-10-04  1:09 ` hjl.tools at gmail dot com
@ 2010-10-04  9:27 ` jakub at gcc dot gnu.org
  2010-10-04 15:49 ` jakub at gcc dot gnu.org
  2010-10-26  1:08 ` jakub at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2010-10-04  9:27 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-10-04 09:27:25 UTC ---
Created attachment 21955
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=21955
gcc46-pr45876.patch

Untested fix.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug middle-end/45876] [4.6 Regression] ICE: verify_gimple failed
  2010-10-03 18:44 [Bug middle-end/45876] New: ICE: verify_gimple failed rmansfield at qnx dot com
                   ` (2 preceding siblings ...)
  2010-10-04  9:27 ` jakub at gcc dot gnu.org
@ 2010-10-04 15:49 ` jakub at gcc dot gnu.org
  2010-10-26  1:08 ` jakub at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2010-10-04 15:49 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-10-04 15:49:18 UTC ---
Author: jakub
Date: Mon Oct  4 15:49:13 2010
New Revision: 164943

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=164943
Log:
    PR middle-end/45876
    * fold-const.c (fold_binary_loc) <case BIT_AND_EXPR>: Use
    arg0's type or its unsigned counterpart as utype.  Convert
    arg1 to utype unconditionally.

    * gcc.c-torture/compile/pr45876.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr45876.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug middle-end/45876] [4.6 Regression] ICE: verify_gimple failed
  2010-10-03 18:44 [Bug middle-end/45876] New: ICE: verify_gimple failed rmansfield at qnx dot com
                   ` (3 preceding siblings ...)
  2010-10-04 15:49 ` jakub at gcc dot gnu.org
@ 2010-10-26  1:08 ` jakub at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2010-10-26  1:08 UTC (permalink / raw)
  To: gcc-bugs

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

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

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-10-26 01:07:45 UTC ---
Fixed.


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2010-10-26  1:08 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-10-03 18:44 [Bug middle-end/45876] New: ICE: verify_gimple failed rmansfield at qnx dot com
2010-10-03 20:14 ` [Bug middle-end/45876] [4.6 Regression] " rguenth at gcc dot gnu.org
2010-10-04  1:09 ` hjl.tools at gmail dot com
2010-10-04  9:27 ` jakub at gcc dot gnu.org
2010-10-04 15:49 ` jakub at gcc dot gnu.org
2010-10-26  1:08 ` jakub 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).