https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71006
Chengnian Sun <chengniansun at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |chengniansun at gmail dot com --- Comment #3 from Chengnian Sun <chengniansun at gmail dot com> --- Hi, Can you help check whether the following test case is a duplicate? Thanks. $: 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 20160511 (experimental) [trunk revision 236116] (GCC) $: $: gcc-trunk -O1 small.c small.c: In function ‘fn1_BOUOUtg_1828_f2’: small.c:2:6: error: type mismatch in binary expression void fn1_BOUOUtg_1828_f2() { ^~~~~~~~~~~~~~~~~~~ int int unsigned int _4 = a.0_1 ^ b.2_6; small.c:2:6: internal compiler error: verify_gimple failed 0xbfe24f verify_gimple_in_cfg(function*, bool) ../../gcc-source-trunk/gcc/tree-cfg.c:5166 0xaeca62 execute_function_todo ../../gcc-source-trunk/gcc/passes.c:1964 0xaed45b 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. $: $: cat small.c int a, b; void fn1_BOUOUtg_1828_f2() { unsigned c = 8 < 10; int d = fn1_BOUOUtg_1828_f2 || 8; b = d ^ a ^ c ^ b; } int main() { return 0; } $: