db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / enum-sign-extend.c
blobd852c934e269a42b5b949ef48c8875beaf66479f
1 enum num {
2 a = 0x80000000,
3 b = -1,
4 };
6 _Static_assert([typeof(b)] == [long], "type");
7 _Static_assert(b == -1L, "value");
9 /*
10 * check-name: enum-sign-extend
11 * check-command: sparse -m64 $file