[Bug middle-end/66021] GCC miscompiles Z3

[nunoplopes at sapo dot pt]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66021

--- Comment #3 from Nuno Lopes <nunoplopes at sapo dot pt> ---
Created attachment 35467
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35467&action=edit
reduced test case