C Instrumentation Framework

Evgeny Novikov wrote:

It was mentioned in #4448:
Aspectator doesn't warn when there is more then one type specifier among declaration specifiers... C standard prohibits this.

This is not an accurate statement as far as C standards allows more than one type specifier:

6.7.2 (2)

At least one type specifier shall be given in the declaration specifiers in each declaration,
and in the specifier-qualifier list in each struct declaration and type name. Each list of
type specifiers shall be one of the following sets (delimited by commas, when there is
more than one set on a line); the type specifiers may occur in any order, possibly
intermixed with the other declaration specifiers.
— void
— char
— signed char
— unsigned char
— short, signed short, short int, or signed short int
— unsigned short, or unsigned short int
— int, signed, or signed int
— unsigned, or unsigned int
— long, signed long, long int, or signed long int
— unsigned long, or unsigned long int
— long long, signed long long, long long int, or signed long long int
— unsigned long long, or unsigned long long int
— float
— double
— long double
— _Bool
— float _Complex
— double _Complex
— long double _Complex
— struct or union specifier
— enum specifier
— typedef name