public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/55350] New: verify_gimple failed with invalid (pointer) operands to plus/minus
@ 2012-11-16  9:27 dcb314 at hotmail dot com
  2012-11-16 11:37 ` [Bug tree-optimization/55350] [4.8 Regression] " jakub at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: dcb314 at hotmail dot com @ 2012-11-16  9:27 UTC (permalink / raw)
  To: gcc-bugs


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

             Bug #: 55350
           Summary: verify_gimple failed with invalid (pointer) operands
                    to plus/minus
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dcb314@hotmail.com


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

I just tried to compile the package gcl-2.6.8-0.11.20120705cvs
on gcc-4.8 trunk dated 20121111 on an AMD x86_64 box.

The compiler said

bug91.c: In function ‘intern’:
bug91.c:11585:1: error: invalid (pointer) operands to plus/minus
 intern(st, p)
 ^
_856 = _847 + 8B;

bug91.c:11585:1: error: invalid (pointer) operands to plus/minus
_865 = _856 + 8B;

bug91.c:11585:1: error: invalid (pointer) operands to plus/minus
_874 = _865 + 8B;

bug91.c:11585:1: error: invalid (pointer) operands to plus/minus
_143 = _874 + 8B;

bug91.c:11585:1: internal compiler error: verify_gimple failed
0x90ed8b verify_gimple_in_cfg(function*)
    ../../src/trunk/gcc/tree-cfg.c:4728
0x84de57 execute_function_todo
    ../../src/trunk/gcc/passes.c:1975
0x84e897 execute_todo
    ../../src/trunk/gcc/passes.c:2008
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.

Preprocessed source code attached. Flag -O3 required.


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

* [Bug tree-optimization/55350] [4.8 Regression] verify_gimple failed with invalid (pointer) operands to plus/minus
  2012-11-16  9:27 [Bug c/55350] New: verify_gimple failed with invalid (pointer) operands to plus/minus dcb314 at hotmail dot com
@ 2012-11-16 11:37 ` jakub at gcc dot gnu.org
  2012-11-18 15:04 ` wschmidt at gcc dot gnu.org
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2012-11-16 11:37 UTC (permalink / raw)
  To: gcc-bugs


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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-11-16
          Component|c                           |tree-optimization
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |wschmidt at gcc dot gnu.org
     Ever Confirmed|0                           |1
            Summary|verify_gimple failed with   |[4.8 Regression]
                   |invalid (pointer) operands  |verify_gimple failed with
                   |to plus/minus               |invalid (pointer) operands
                   |                            |to plus/minus
   Target Milestone|---                         |4.8.0

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-16 11:36:49 UTC ---
Reduced testcase for -O3:
void
foo (__INTPTR_TYPE__ x, __INTPTR_TYPE__ y)
{
  int i;
  void **a = (void *) (__INTPTR_TYPE__) (8UL * (x / 8UL));
  for (i = 0; i < x; i++)
    a[i] = (void *) y;
}

Seems to be slsr bug.


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

* [Bug tree-optimization/55350] [4.8 Regression] verify_gimple failed with invalid (pointer) operands to plus/minus
  2012-11-16  9:27 [Bug c/55350] New: verify_gimple failed with invalid (pointer) operands to plus/minus dcb314 at hotmail dot com
  2012-11-16 11:37 ` [Bug tree-optimization/55350] [4.8 Regression] " jakub at gcc dot gnu.org
@ 2012-11-18 15:04 ` wschmidt at gcc dot gnu.org
  2012-11-20 17:50 ` aldyh at gcc dot gnu.org
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: wschmidt at gcc dot gnu.org @ 2012-11-18 15:04 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #2 from William J. Schmidt <wschmidt at gcc dot gnu.org> 2012-11-18 15:04:27 UTC ---
I'm on vacation this week, but I'll have a look when I get back on the 26th. 
Sorry for the delay!

Bill


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

* [Bug tree-optimization/55350] [4.8 Regression] verify_gimple failed with invalid (pointer) operands to plus/minus
  2012-11-16  9:27 [Bug c/55350] New: verify_gimple failed with invalid (pointer) operands to plus/minus dcb314 at hotmail dot com
  2012-11-16 11:37 ` [Bug tree-optimization/55350] [4.8 Regression] " jakub at gcc dot gnu.org
  2012-11-18 15:04 ` wschmidt at gcc dot gnu.org
@ 2012-11-20 17:50 ` aldyh at gcc dot gnu.org
  2012-11-20 18:30 ` aldyh at gcc dot gnu.org
  2012-11-20 18:31 ` aldyh at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: aldyh at gcc dot gnu.org @ 2012-11-20 17:50 UTC (permalink / raw)
  To: gcc-bugs


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

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |WAITING
                 CC|                            |aldyh at gcc dot gnu.org

--- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2012-11-20 17:48:47 UTC ---
Proposed fix:
http://gcc.gnu.org/ml/gcc-patches/2012-11/msg01689.html


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

* [Bug tree-optimization/55350] [4.8 Regression] verify_gimple failed with invalid (pointer) operands to plus/minus
  2012-11-16  9:27 [Bug c/55350] New: verify_gimple failed with invalid (pointer) operands to plus/minus dcb314 at hotmail dot com
                   ` (2 preceding siblings ...)
  2012-11-20 17:50 ` aldyh at gcc dot gnu.org
@ 2012-11-20 18:30 ` aldyh at gcc dot gnu.org
  2012-11-20 18:31 ` aldyh at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: aldyh at gcc dot gnu.org @ 2012-11-20 18:30 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #4 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2012-11-20 18:28:30 UTC ---
Author: aldyh
Date: Tue Nov 20 18:28:09 2012
New Revision: 193672

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193672
Log:
    PR tree-optimization/55350
    * gimple-ssa-strength-reduction.c (replace_dependent): Handle
    POINTER_{PLUS,MINUS}_EXPR correctly.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr55350.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-ssa-strength-reduction.c


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

* [Bug tree-optimization/55350] [4.8 Regression] verify_gimple failed with invalid (pointer) operands to plus/minus
  2012-11-16  9:27 [Bug c/55350] New: verify_gimple failed with invalid (pointer) operands to plus/minus dcb314 at hotmail dot com
                   ` (3 preceding siblings ...)
  2012-11-20 18:30 ` aldyh at gcc dot gnu.org
@ 2012-11-20 18:31 ` aldyh at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: aldyh at gcc dot gnu.org @ 2012-11-20 18:31 UTC (permalink / raw)
  To: gcc-bugs


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

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

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

--- Comment #5 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2012-11-20 18:30:03 UTC ---
fixed on trunk


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

end of thread, other threads:[~2012-11-20 18:31 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-11-16  9:27 [Bug c/55350] New: verify_gimple failed with invalid (pointer) operands to plus/minus dcb314 at hotmail dot com
2012-11-16 11:37 ` [Bug tree-optimization/55350] [4.8 Regression] " jakub at gcc dot gnu.org
2012-11-18 15:04 ` wschmidt at gcc dot gnu.org
2012-11-20 17:50 ` aldyh at gcc dot gnu.org
2012-11-20 18:30 ` aldyh at gcc dot gnu.org
2012-11-20 18:31 ` aldyh 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).