[Bug middle-end/66021] GCC miscompiles Z3

[nunoplopes at sapo dot pt]

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

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