https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66752
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at redhat dot com
--- Comment #7 from Jeffrey A. Law <law at redhat dot com> ---
This is something I'd be expecting the FSM code to detect for us -- but that
code isn't firing at all due to what appears to be a relatively simple logic
error. Hacking it up under GDB's control results in the FSM code discovering
3 threadable paths within the loop. The net result is all the
manipulation/testing of FLAG is eliminated.
I'll be taking a deeper look over the next few days.
