https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87672
--- Comment #9 from Bernd Edlinger <bernd.edlinger at hotmail dot de> ---
reduced test case:
$ cat pr87672.c
char buf[40];
void test (int x)
{
__builtin_strcpy(buf, "test");
__builtin___strcat_chk(buf, "postfix" + x, sizeof(buf));
}
$ gcc -O2 -S -Wall pr87672.c
pr87672.c: In function 'test':
pr87672.c:2:6: error: invalid operand in unary operation
2 | void test (int x)
| ^~~~
pr87672.c:2:6: error: incorrect sharing of tree nodes
(ssizetype) _1
_8 = (long unsigned int) ((ssizetype) _1 <= 7 ? 7 - (ssizetype) _1 : 0);
during GIMPLE pass: vrp
pr87672.c:2:6: internal compiler error: verify_gimple failed
0xd58395 verify_gimple_in_cfg(function*, bool)
../../gcc-trunk/gcc/tree-cfg.c:5422
0xc3534f execute_function_todo
../../gcc-trunk/gcc/passes.c:1925
0xc3623e execute_todo
../../gcc-trunk/gcc/passes.c:1979
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
