Possible bug with _Static_assert & sparse

[Mike Holmes <mike.holmes@xxxxxxxxxx>]

Hi

I wondered if the following sparse error indication was expected
behaviour or if it is a bug,
I would not expect sparse to error with "got 9"


$ cat static.c
#include <stdio.h>

#define fake 9
_Static_assert( fake > 8, "test message");

void main(void)
{
   printf("hello\n");
}
$ cgcc static.c -o static
static.c:4:17: error: Expected ) in function declarator
static.c:4:17: error: got 9
------------------------------------------------------------------

Changing the variable to fail the assert as expected the error persists

$ cat static.c
#include <stdio.h>

#define fake 8
_Static_assert( fake > 8, "test message");

void main(void)
{
   printf("hello\n");
}
mike@fedora1:~/git/odp$ cgcc static.c -o static
static.c:4:17: error: Expected ) in function declarator
static.c:4:17: error: got 8
static.c:4:1: error: static assertion failed: "test message"
 _Static_assert( fake > 8, "test message");
 ^

------------------------------------------------------------------

With regular gcc there is no issue and assert works as expected.

$ sparse --version
v0.5.0

Thanks Mike

-- 
Mike Holmes
Linaro Technical Manager / Lead
LNG - ODP
--
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