public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c/48305] New: ice at -O0: verify_gimple failed @ 2011-03-27 21:08 regehr at cs dot utah.edu 2011-03-28 8:13 ` [Bug c/48305] [4.7 Regression] " jakub at gcc dot gnu.org ` (3 more replies) 0 siblings, 4 replies; 5+ messages in thread From: regehr at cs dot utah.edu @ 2011-03-27 21:08 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48305 Summary: ice at -O0: verify_gimple failed Product: gcc Version: 4.7.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c AssignedTo: unassigned@gcc.gnu.org ReportedBy: regehr@cs.utah.edu CC: chenyang@cs.utah.edu Host: i686-pc-linux-gnu Target: i686-pc-linux-gnu Build: i686-pc-linux-gnu regehr@home:~/volatile/bugs/tmp006$ current-gcc -O0 -c small.c small.c: In function ‘func_18’: small.c:36:15: error: type mismatch in comparison expression unsigned int int unsigned int D.1991 = D.1979 == D.1990; small.c:36:15: 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. regehr@home:~/volatile/bugs/tmp006$ current-gcc -v Using built-in specs. COLLECT_GCC=current-gcc COLLECT_LTO_WRAPPER=/mnt/z/z/compiler-install/gcc-r171573-install/libexec/gcc/i686-pc-linux-gnu/4.7.0/lto-wrapper Target: i686-pc-linux-gnu Configured with: ../configure --with-libelf=/usr/local --enable-lto --prefix=/mnt/z/z/compiler-install/gcc-r171573-install --program-prefix=r171573- --enable-languages=c,c++ Thread model: posix gcc version 4.7.0 20110327 (experimental) (GCC) regehr@home:~/volatile/bugs/tmp006$ cat small.c static signed char foo (signed char si1, unsigned char si2) { return si2 || si1 && si2 ? : si1 + si2; } static unsigned char bar (unsigned ui1, unsigned char ui2) { return ui1 + ui2; } static unsigned char baz (unsigned ui1, unsigned char ui2) { return ui2 ? : ui1 + ui2; } struct S0 { unsigned char f0; const unsigned char f2; unsigned char f3; }; struct S1 { const unsigned f7:54 > 1 * 8 ? : 0; }; struct S1 g_99[9][1][5] = { }; struct S0 g_244[10][3][1] = { }; unsigned char func_127 (const unsigned char); unsigned char func_18 (struct S0 p_19, unsigned char p_20) { unsigned char l_605[4]; p_20 |= baz (bar ((func_127 (0) ^ p_19.f3 > l_605[2] >= 0) == (1U ^ foo (p_19.f0, l_605[1]) & g_244[1][2][0].f2), g_244[1][2][0].f3), 1); return g_99[4][0][0].f7; } ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c/48305] [4.7 Regression] ice at -O0: verify_gimple failed 2011-03-27 21:08 [Bug c/48305] New: ice at -O0: verify_gimple failed regehr at cs dot utah.edu @ 2011-03-28 8:13 ` jakub at gcc dot gnu.org 2011-03-28 11:11 ` jakub at gcc dot gnu.org ` (2 subsequent siblings) 3 siblings, 0 replies; 5+ messages in thread From: jakub at gcc dot gnu.org @ 2011-03-28 8:13 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48305 Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2011.03.28 07:44:54 CC| |jakub at gcc dot gnu.org AssignedTo|unassigned at gcc dot |jakub at gcc dot gnu.org |gnu.org | Target Milestone|--- |4.7.0 Summary|ice at -O0: verify_gimple |[4.7 Regression] ice at |failed |-O0: verify_gimple failed Ever Confirmed|0 |1 --- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-28 07:44:54 UTC --- Shorter testcase: int foo (int x, char y) { return (x ^ 7U > y >= 0) == (1U ^ x); } ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c/48305] [4.7 Regression] ice at -O0: verify_gimple failed 2011-03-27 21:08 [Bug c/48305] New: ice at -O0: verify_gimple failed regehr at cs dot utah.edu 2011-03-28 8:13 ` [Bug c/48305] [4.7 Regression] " jakub at gcc dot gnu.org @ 2011-03-28 11:11 ` jakub at gcc dot gnu.org 2011-03-30 12:56 ` jakub at gcc dot gnu.org 2011-03-30 14:05 ` jakub at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: jakub at gcc dot gnu.org @ 2011-03-28 11:11 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48305 --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-28 10:55:56 UTC --- Created attachment 23790 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23790 gcc47-pr48305.patch Untested fix. ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c/48305] [4.7 Regression] ice at -O0: verify_gimple failed 2011-03-27 21:08 [Bug c/48305] New: ice at -O0: verify_gimple failed regehr at cs dot utah.edu 2011-03-28 8:13 ` [Bug c/48305] [4.7 Regression] " jakub at gcc dot gnu.org 2011-03-28 11:11 ` jakub at gcc dot gnu.org @ 2011-03-30 12:56 ` jakub at gcc dot gnu.org 2011-03-30 14:05 ` jakub at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: jakub at gcc dot gnu.org @ 2011-03-30 12:56 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48305 --- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-30 12:36:27 UTC --- Author: jakub Date: Wed Mar 30 12:36:18 2011 New Revision: 171723 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=171723 Log: PR c/48305 * fold-const.c (fold_binary_loc) <case EQ_EXPR, NE_EXPR>: Make sure arg10/arg11 in (X ^ Y) == (Z ^ W) are always fold converted to matching arg00/arg01 types. * gcc.c-torture/compile/pr48305.c: New test. Added: trunk/gcc/testsuite/gcc.c-torture/compile/pr48305.c Modified: trunk/gcc/ChangeLog trunk/gcc/fold-const.c trunk/gcc/testsuite/ChangeLog ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c/48305] [4.7 Regression] ice at -O0: verify_gimple failed 2011-03-27 21:08 [Bug c/48305] New: ice at -O0: verify_gimple failed regehr at cs dot utah.edu ` (2 preceding siblings ...) 2011-03-30 12:56 ` jakub at gcc dot gnu.org @ 2011-03-30 14:05 ` jakub at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: jakub at gcc dot gnu.org @ 2011-03-30 14:05 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48305 Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution| |FIXED --- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-30 12:39:46 UTC --- Fixed, thanks for the report. ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2011-03-30 12:40 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2011-03-27 21:08 [Bug c/48305] New: ice at -O0: verify_gimple failed regehr at cs dot utah.edu 2011-03-28 8:13 ` [Bug c/48305] [4.7 Regression] " jakub at gcc dot gnu.org 2011-03-28 11:11 ` jakub at gcc dot gnu.org 2011-03-30 12:56 ` jakub at gcc dot gnu.org 2011-03-30 14:05 ` 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).