This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/71006] [6/7 Regression] ICE: verify_gimple failed (error: type mismatch in conditional expression) w/ -O1 -ftree-loop-vectorize
- From: "chengniansun at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 11 May 2016 17:23:28 +0000
- Subject: [Bug tree-optimization/71006] [6/7 Regression] ICE: verify_gimple failed (error: type mismatch in conditional expression) w/ -O1 -ftree-loop-vectorize
- Auto-submitted: auto-generated
- References: <bug-71006-4 at http dot gcc dot gnu dot org/bugzilla/>
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; }
$: