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.

Reply via email to