https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84949
--- Comment #7 from Matthias Kretz <kretz at kde dot org> --- Example showing the discrepancy: https://godbolt.org/z/D15m71 Also PR83875 is relevant wrt. giving different answers depending on function attributes.