public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug rtl-optimization/55010] New: Internal consistency failure : invalid rtl sharing found in the insn
@ 2012-10-21 17:45 merkil at savhon dot org
2012-10-22 8:51 ` [Bug rtl-optimization/55010] " jakub at gcc dot gnu.org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: merkil at savhon dot org @ 2012-10-21 17:45 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55010
Bug #: 55010
Summary: Internal consistency failure : invalid rtl sharing
found in the insn
Classification: Unclassified
Product: gcc
Version: 4.8.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: rtl-optimization
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: merkil@savhon.org
Hi !
With GCC 4.8.0 as of 20121021, at -O2 and higher :
$ cat consistency.c
#include <stdint.h>
int64_t a;
uint64_t b;
void f(void)
{
a = (a < 0) / ((a -= b) ? b >= ((b = a) || 0) : 0);
}
$ xgcc -w -m32 -O2 consistency.c
consistency.c: In function ‘f’:
consistency.c:9:1: error: invalid rtl sharing found in the insn
}
^
(insn 57 55 33 5 (set (reg:SI 83 [ D.1743 ])
(if_then_else:SI (leu (reg:CC 17 flags)
(const_int 0 [0]))
(reg:SI 83 [ D.1743 ])
(reg:SI 59 [ iftmp.1 ]))) consistency.c:8 908 {*movsicc_noc}
(expr_list:REG_EQUAL (ne:SI (subreg:SI (reg:DI 65 [ D.1745 ]) 0)
(const_int 0 [0]))
(nil)))
consistency.c:9:1: error: shared rtx
(subreg:SI (reg:DI 65 [ D.1745 ]) 0)
consistency.c:9:1: internal compiler error: internal consistency failure
linux-vdso.so.1: No such file or directory
0x6a8575 verify_rtx_sharing
../../srcdir/gcc/emit-rtl.c:2574
0x6a849f verify_rtx_sharing
../../srcdir/gcc/emit-rtl.c:2590
0x6a849f verify_rtx_sharing
../../srcdir/gcc/emit-rtl.c:2590
0x6ad46c verify_rtl_sharing()
../../srcdir/gcc/emit-rtl.c:2655
0x82f87c execute_function_todo
../../srcdir/gcc/passes.c:1966
0x8304cd execute_todo
../../srcdir/gcc/passes.c:1989
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.
Please note that it was found on an x86 machine, and that I had to add -m32 to
the commandline to reproduce the crash on my x86_64 machine.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug rtl-optimization/55010] Internal consistency failure : invalid rtl sharing found in the insn
2012-10-21 17:45 [Bug rtl-optimization/55010] New: Internal consistency failure : invalid rtl sharing found in the insn merkil at savhon dot org
@ 2012-10-22 8:51 ` jakub at gcc dot gnu.org
2012-10-24 9:13 ` jakub at gcc dot gnu.org
2012-10-26 19:24 ` jakub at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: jakub at gcc dot gnu.org @ 2012-10-22 8:51 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55010
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2012-10-22
AssignedTo|unassigned at gcc dot |jakub at gcc dot gnu.org
|gnu.org |
Ever Confirmed|0 |1
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-22 08:51:19 UTC ---
Created attachment 28503
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28503
gcc48-pr55010.patch
Untested fix.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug rtl-optimization/55010] Internal consistency failure : invalid rtl sharing found in the insn
2012-10-21 17:45 [Bug rtl-optimization/55010] New: Internal consistency failure : invalid rtl sharing found in the insn merkil at savhon dot org
2012-10-22 8:51 ` [Bug rtl-optimization/55010] " jakub at gcc dot gnu.org
@ 2012-10-24 9:13 ` jakub at gcc dot gnu.org
2012-10-26 19:24 ` jakub at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: jakub at gcc dot gnu.org @ 2012-10-24 9:13 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55010
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-24 09:13:14 UTC ---
Author: jakub
Date: Wed Oct 24 09:13:09 2012
New Revision: 192760
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192760
Log:
PR rtl-optimization/55010
* cse.c (fold_rtx) <RTX_COMPARE>: Call copy_rtx on folded_arg{0,1}
before passing it to simplify_relational_operation.
* gcc.dg/pr55010.c: New test.
Added:
trunk/gcc/testsuite/gcc.dg/pr55010.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/cse.c
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug rtl-optimization/55010] Internal consistency failure : invalid rtl sharing found in the insn
2012-10-21 17:45 [Bug rtl-optimization/55010] New: Internal consistency failure : invalid rtl sharing found in the insn merkil at savhon dot org
2012-10-22 8:51 ` [Bug rtl-optimization/55010] " jakub at gcc dot gnu.org
2012-10-24 9:13 ` jakub at gcc dot gnu.org
@ 2012-10-26 19:24 ` jakub at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: jakub at gcc dot gnu.org @ 2012-10-26 19:24 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55010
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.8.0
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-26 19:24:29 UTC ---
Fixed.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2012-10-26 19:24 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-10-21 17:45 [Bug rtl-optimization/55010] New: Internal consistency failure : invalid rtl sharing found in the insn merkil at savhon dot org
2012-10-22 8:51 ` [Bug rtl-optimization/55010] " jakub at gcc dot gnu.org
2012-10-24 9:13 ` jakub at gcc dot gnu.org
2012-10-26 19:24 ` 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).