https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110294
--- Comment #4 from Xi Ruoyao <xry111 at gcc dot gnu.org> --- (In reply to CTC from comment #3) > Another related and smaller reproducer: > > # cat tmp.i > a; > *const b; > main() { a != *b; } This is an undefined behavior and the compiler is allowed to generate code to crash. When you use tools like cvise for reducing a "crashing" test case you need to add more constraints so it won't result such an invalid test case.