https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69156
Bug ID: 69156
Summary: [6 Regression] gcc.dg/pr59630.c: ICE: verify_gimple
failed: non-trivial conversion at assignment with
-fno-tree-ccp
Product: gcc
Version: 6.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
Target Milestone: ---
Created attachment 37236
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37236&action=edit
reduced testcase (gcc.dg/pr59630.c)
Compiler output:
$ gcc -O -fno-tree-ccp testcase.c
testcase.c: In function 'foo':
testcase.c:3:18: warning: initialization from incompatible pointer type
[-Wincompatible-pointer-types]
_Bool (*f)() = __builtin_abs;
^~~~~~~~~~~~~
testcase.c:5:1: error: non-trivial conversion at assignment
}
^
_Bool
int
_4 = 0;
testcase.c:5:1: internal compiler error: verify_gimple failed
0xbc8ec6 verify_gimple_in_cfg(function*, bool)
/repo/gcc-trunk/gcc/tree-cfg.c:5119
0xa7c3c7 execute_function_todo
/repo/gcc-trunk/gcc/passes.c:1958
0xa7ccbb execute_todo
/repo/gcc-trunk/gcc/passes.c:2010
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.
Tested revisions:
trunk r232077 - ICE
5-branch r232044 - OK
4_9-branch r232043 - OK
4_8-branch r224828 - ICE
4_7-branch r211571 - ICE
4_6-branch r197894 - OK
4_5-branch r189152 - OK
4_4-branch r185318 - OK
