[Bug middle-end/66021] New: GCC miscompiles Z3

[nunoplopes at sapo dot pt]

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

            Bug ID: 66021
           Summary: GCC miscompiles Z3
           Product: gcc
           Version: 4.9.2
            Status: UNCONFIRMED
          Severity: critical
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nunoplopes at sapo dot pt
  Target Milestone: ---

GCC 4.92 miscompiles Z3. I've tried Cygwin and Linux, 32 and 64 bits, and all
miscompile.