atomic_inc_dec: improve how inc/dec is recorded in the DB
[smatch.git] / validation / constant-suffix-64.c
blob6722633185dad28f1c9d51ac6fdc6d44f1f29d49
1 #define BIGU 0xfffff00000000000U
2 #define BIGUL 0xfffff00000000000UL
4 static unsigned long a = BIGU;
5 static unsigned long b = BIGUL;
7 /*
8 * check-name: constant-suffix
9 * check-command: sparse -m64 -Wconstant-suffix $file
10 * check-assert: sizeof(long) == 8
12 * check-error-start
13 constant-suffix-64.c:4:26: warning: constant 0xfffff00000000000U is so big it is unsigned long
14 * check-error-end