https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71994
Zhendong Su <su at cs dot ucdavis.edu> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |su at cs dot ucdavis.edu
--- Comment #3 from Zhendong Su <su at cs dot ucdavis.edu> ---
Another (simpler) test that triggers the same ICE:
$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/usr/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/7.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-source-trunk/configure --enable-languages=c,c++,lto
--prefix=/usr/local/gcc-trunk --disable-bootstrap
Thread model: posix
gcc version 7.0.0 20160725 (experimental) [trunk revision 238730] (GCC)
$
$ gcc-trunk -Os -c small.c
small.c: In function ‘foo’:
small.c:3:6: error: non-trivial conversion at assignment
void foo ()
^~~
_Bool
int
_13 = _14;
small.c:3:6: internal compiler error: verify_gimple failed
0xc163df verify_gimple_in_cfg(function*, bool)
../../gcc-source-trunk/gcc/tree-cfg.c:5212
0xafda02 execute_function_todo
../../gcc-source-trunk/gcc/passes.c:1964
0xafe3fb execute_todo
../../gcc-source-trunk/gcc/passes.c:2016
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.
$
--------------------------------
int a, b;
void foo ()
{
a = (b && (b > 0) & a) != b;
}
