memcpy_overflow: make a variable static
[smatch.git] / validation / enum-same-type.c
blob0ff49cb452d4ed4135569ddfc4686e7c443dea19
1 enum num {
2 NEG = -1,
3 NIL = 0,
4 ONE = 1U,
5 DUO = 2LL,
6 };
8 _Static_assert([typeof(NIL)] == [typeof(NEG)], "enum same type");
9 _Static_assert([typeof(ONE)] == [typeof(NEG)], "enum same type");
10 _Static_assert([typeof(DUO)] == [typeof(NEG)], "enum same type");
13 * check-name: enum-same-type