smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON() and others
[smatch.git] / validation / enum+mode.c
blob182af1895d49de71ed98bbf1cd68e68fee80ded7
1 enum e { ZERO, ONE, TWO };
3 struct s {
4 enum e __attribute__ ((mode(__byte__))) b;
5 enum e __attribute__ ((mode(__word__))) w;
6 enum e __attribute__ ((mode(__TI__))) t;
7 };
9 static struct s s;
11 _Static_assert(sizeof(s.b) == 1, "");
12 _Static_assert(sizeof(s.w) == sizeof(long), "");
13 _Static_assert(sizeof(s.t) == sizeof(long long), "");
16 * check-name: enum+mode
17 * check-known-to-fail