https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123059 --- Comment #2 from Hana Dusíková <hanicka at hanicka dot net> --- Would it be possible to have this specific attribute make it a default error? Otherwise the "must" is more like a recommendation and potential safety issue.