https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96986
--- Comment #3 from Fritz Reese <foreese at gcc dot gnu.org> --- (In reply to anlauf from comment #2) ... > So I'd say the code in comment#0 is invalid, although the compiler is not > required to diagnose this. > > If you agree, we will close the issue as INVALID. The error message blames fun_a() while neither fun_a() nor its containing subroutine volatile_test() have a VOLATILE dummy argument. Do you think 15.4.2.2 still applies?