https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71571
--- Comment #7 from David B. Robins <gcc at davidrobins dot net> --- I have verified that the pr71571.C test case attached does expose the bug on trunk and that it passes with the above fix. (Note "-O2 -fno-inline" are required to ensure a crash; see earlier comment; in 4.3.1 "-O2" sufficed, either because it did not inline these thunks or used different criteria.)