https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106984
Bug ID: 106984
Summary: [13 Regression] ICE with -fsanitize=thread :
verify_gimple failed
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: gs...@t-online.de
Target Milestone: ---
Started between 20220522 and 20220529, with file
gcc.target/i386/cmpxchg16b-1.c or gcc.target/cris/sync-xchg-1.c :
(gcc configured with --enable-checking=yes)
$ cat z1.c
int svcsw (int *ptr, int oldval, int newval)
{
return __sync_val_compare_and_swap (ptr, oldval, newval);
}
$ gcc-13-20220918 -c z1.c -fsanitize=thread
z1.c: In function 'svcsw':
z1.c:1:5: error: invalid operands in ternary operation
1 | int svcsw (int *ptr, int oldval, int newval)
| ^~~~~
_3 = _11 != 0 ? oldval.1_2 : _10;
during GIMPLE pass: tsan0
z1.c:1:5: internal compiler error: verify_gimple failed
0xf285d4 verify_gimple_in_cfg(function*, bool)
../../gcc/tree-cfg.cc:5585
0xdc513e execute_function_todo
../../gcc/passes.cc:2091
0xdc5bc2 execute_todo
../../gcc/passes.cc:2145
