This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug tree-optimization/71006] [6/7 Regression] ICE: verify_gimple failed (error: type mismatch in conditional expression) w/ -O1 -ftree-loop-vectorize


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; }
$:

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]