Alex, Josh,
On Wed, 2007-06-27 at 14:33 +0400, Alexey Dobriyan wrote:
sparse silently accepts some peculiar combinations of declaration
specifiers:
These are all permitted by the syntax of C.
6.7 Declarations, the init-declarator-list is optional.
"typedef extern;" passes.
...
Not sure how many different bugs there are here, though...
Sparse might flag the usage as suspicious, but it is not a bug.
Several more:
The syntax permits:
signed unsigned short long double int;
int;
void;
int *;
void *;
static;
extern;
volatile;
static foo;
extern foo;
volatile foo;
int volatile;
- Josh Triplett
-
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
--
Derek M. Jones tel: +44 (0) 1252 520 667
Knowledge Software Ltd mailto:derek@xxxxxxxxxxxx
Applications Standards Conformance Testing http://www.knosof.co.uk
-
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
