https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114206 --- Comment #3 from congli <congli at smail dot nju.edu.cn> --- How about this one: https://gcc.godbolt.org/z/Wvhddb7nf? We ensured the two `b`s are different at each f() call.