> the type is already marked UNUSED. why isn't that working here ? Maybe because the UNUSED is after the TYPE, so it applies to the return type, instead of to the function? If I move UNUSED before TYPE, it works. I'll send a patch for that. > i tried to reproduce with -O0 but it's passing for me. It's gcc 11.1.0, if that matters. Simon