This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/70916] New: gcc ICE at -O3 on valid code on x86_64-linux-gnu in "tree_operand_check"
- From: "helloqirun at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 03 May 2016 00:08:09 +0000
- Subject: [Bug tree-optimization/70916] New: gcc ICE at -O3 on valid code on x86_64-linux-gnu in "tree_operand_check"
- Auto-submitted: auto-generated
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70916
Bug ID: 70916
Summary: gcc ICE at -O3 on valid code on x86_64-linux-gnu in
"tree_operand_check"
Product: gcc
Version: 7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: helloqirun at gmail dot com
Target Milestone: ---
The following valid code causes an ICE when compiled with the current gcc trunk
at only -O3 on x86_64-linux-gnu in both 32-bit and 64-bit modes.
It appears to be a 6 regression. Gcc-6.1 got an ICE at -O3 with seg fault.
$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/home/absozero/trunk/root-gcc/libexec/gcc/x86_64-pc-linux-gnu/7.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc/configure --prefix=/home/absozero/trunk/root-gcc
--enable-languages=c,c++ --disable-werror --enable-multilib
Thread model: posix
gcc version 7.0.0 20160502 (experimental) [trunk revision 235753] (GCC)
$ gcc-trunk -O3 abc.c -c
abc.c: In function âfn1â:
abc.c:9:13: warning: initialization makes integer from pointer without a cast
[-Wint-conversion]
int m = l;
^
abc.c:14:24: warning: comparison of distinct pointer types lacks a cast
*e = (((*o = &g) != g) < h[c], 0) || k;
^~
abc.c:17:12: warning: assignment makes integer from pointer without a cast
[-Wint-conversion]
*e = h;
^
abc.c:6:6: internal compiler error: tree check: expected class âexpressionâ,
have âconstantâ (integer_cst) in tree_operand_check, at tree.h:3523
void fn1() {
^~~
0xe435a7 tree_class_check_failed(tree_node const*, tree_code_class, char
const*, int, char const*)
../../gcc/gcc/tree.c:9793
0x12f1f9d expr_check(tree_node*, char const*, int, char const*)
../../gcc/gcc/tree.h:3194
0x12f1f9d tree_operand_check(tree_node*, int, char const*, int, char const*)
../../gcc/gcc/tree.h:3523
0x12f1f9d vect_recog_mask_conversion_pattern
../../gcc/gcc/tree-vect-patterns.c:3677
0x12ec3c0 vect_pattern_recog_1
../../gcc/gcc/tree-vect-patterns.c:3851
0x12f13bd vect_pattern_recog(vec_info*)
../../gcc/gcc/tree-vect-patterns.c:4048
0xe07c77 vect_analyze_loop_2
../../gcc/gcc/tree-vect-loop.c:1847
0xe07c77 vect_analyze_loop(loop*)
../../gcc/gcc/tree-vect-loop.c:2264
0xe1e982 vectorize_loops()
../../gcc/gcc/tree-vectorizer.c:532
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 abc.c
int a, b, c, d, i, k;
int static *e = &b, *j;
int **f;
int static ***g = &f;
int *h;
void fn1() {
for (;;) {
int l[1] = {};
int m = l;
for (; d; d--) {
int ****n;
int *****o = &n;
i = a & 7 ?: a;
*e = (((*o = &g) != g) < h[c], 0) || k;
if (*e) {
**n = &j;
*e = h;
}
}
}
}