たとえば noreturnは 関数宣言のdeclarator-idに指定するものと定義されています そういうわけで void f noreturn () ;と書けるわけです 一方 関数の宣言には 先頭にもattributeを書くことができ それは 関数に属する と定義されています つまり noreturn void f() ;は void f noreturn () ;と書くのと同等の意味になるのです
