validation/enum-sign-extend.c


1
2
3
4
5
6
7
8
9
10
11
12

enum num {
	a = 0x80000000,
	b = -1,
};

_Static_assert([typeof(b)] == [long], "type");
_Static_assert(b == -1L,              "value");

/*
 * check-name: enum-sign-extend
 * check-command: sparse -m64 $file
 */