https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115579
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- Ah, ok - the situation is new in that store-flag re-use is only considered for loops which have all stores in a single BB and of course there always_stored is always the same but now ref_can_have_store_data_races can be different for stores. I have a fix, it's to some extent not optimal as we emit unnecessary loads up to the first var that needs the MT model. There's the general optimization opportunity missing to share flag vars for stores that are stored in the same BBs.