Comment by lifthrasiir

Of course (there are several GCC attributes for that), but it is not really like that an additional check improves readability anyway.