https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113424
Krister Walfridsson <kristerw at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|INVALID |FIXED
--- Comment #4 from Krister Walfridsson <kristerw at gcc dot gnu.org> ---
That makes sense. And it means the check for local variables I have implemented
in smtgcc need some improvements...
Anyway, to answer the question from comment 2 (which I guess is irrelevant
now): the code is a slightly modified g++.dg/opt/pr80436.C which smtgcc claimed
was miscompiled because of this issue.
