9a440f8477
Resolves https://github.com/llvm/llvm-project/issues/76208#issuecomment-2830854351 Quoting the docs of `[[clang::flag_enum]]`: https://clang.llvm.org/docs/AttributeReference.html#flag-enum > This attribute can be added to an enumerator to signal to the compiler that it > is intended to be used as a flag type. This will cause the compiler to assume > that the range of the type includes all of the values that you can get by > manipulating bits of the enumerator when issuing warnings. Ideally, we should still check the upper bounds but for simplicity let's not bother for now.
78 lines
3.3 KiB
C
78 lines
3.3 KiB
C
// RUN: %clang_analyze_cc1 \
|
|
// RUN: -analyzer-checker=core,optin.core.EnumCastOutOfRange \
|
|
// RUN: -analyzer-output text \
|
|
// RUN: -verify %s
|
|
|
|
// expected-note@+1 + {{enum declared here}}
|
|
enum En_t {
|
|
En_0 = -4,
|
|
En_1,
|
|
En_2 = 1,
|
|
En_3,
|
|
En_4 = 4
|
|
};
|
|
|
|
void unscopedUnspecifiedCStyle(void) {
|
|
enum En_t Below = (enum En_t)(-5); // expected-warning {{not in the valid range of values for 'En_t'}}
|
|
// expected-note@-1 {{not in the valid range of values for 'En_t'}}
|
|
enum En_t NegVal1 = (enum En_t)(-4); // OK.
|
|
enum En_t NegVal2 = (enum En_t)(-3); // OK.
|
|
enum En_t InRange1 = (enum En_t)(-2); // expected-warning {{not in the valid range of values for 'En_t'}}
|
|
// expected-note@-1 {{not in the valid range of values for 'En_t'}}
|
|
enum En_t InRange2 = (enum En_t)(-1); // expected-warning {{not in the valid range of values for 'En_t'}}
|
|
// expected-note@-1 {{not in the valid range of values for 'En_t'}}
|
|
enum En_t InRange3 = (enum En_t)(0); // expected-warning {{not in the valid range of values for 'En_t'}}
|
|
// expected-note@-1 {{not in the valid range of values for 'En_t'}}
|
|
enum En_t PosVal1 = (enum En_t)(1); // OK.
|
|
enum En_t PosVal2 = (enum En_t)(2); // OK.
|
|
enum En_t InRange4 = (enum En_t)(3); // expected-warning {{not in the valid range of values for 'En_t'}}
|
|
// expected-note@-1 {{not in the valid range of values for 'En_t'}}
|
|
enum En_t PosVal3 = (enum En_t)(4); // OK.
|
|
enum En_t Above = (enum En_t)(5); // expected-warning {{not in the valid range of values for 'En_t'}}
|
|
// expected-note@-1 {{not in the valid range of values for 'En_t'}}
|
|
}
|
|
|
|
enum En_t unused;
|
|
void unusedExpr(void) {
|
|
// Following line is not something that EnumCastOutOfRangeChecker should
|
|
// evaluate. Checker should either ignore this line or process it without
|
|
// producing any warnings. However, compilation will (and should) still
|
|
// generate a warning having nothing to do with this checker.
|
|
unused; // expected-warning {{expression result unused}}
|
|
}
|
|
|
|
// Test typedef-ed anonymous enums
|
|
typedef enum { // expected-note {{enum declared here}}
|
|
TD_0 = 0,
|
|
} TD_t;
|
|
|
|
void testTypeDefEnum(void) {
|
|
(void)(TD_t)(-1); // expected-warning {{not in the valid range of values for the enum}}
|
|
// expected-note@-1 {{not in the valid range of values for the enum}}
|
|
}
|
|
|
|
// Test expression tracking
|
|
void set(int* p, int v) {
|
|
*p = v; // expected-note {{The value -1 is assigned to 'i'}}
|
|
}
|
|
|
|
|
|
void testTrackExpression(int i) {
|
|
set(&i, -1); // expected-note {{Passing the value -1 via 2nd parameter 'v'}}
|
|
// expected-note@-1 {{Calling 'set'}}
|
|
// expected-note@-2 {{Returning from 'set'}}
|
|
(void)(enum En_t)(i); // expected-warning {{not in the valid range of values for 'En_t'}}
|
|
// expected-note@-1 {{not in the valid range of values for 'En_t'}}
|
|
}
|
|
|
|
enum __attribute__((flag_enum)) FlagEnum {
|
|
FE_BIT_1 = 1 << 0,
|
|
FE_BIT_2 = 1 << 1,
|
|
FE_BIT_3 = 1 << 2,
|
|
};
|
|
|
|
void testFlagEnum_gh_76208(void) {
|
|
enum FlagEnum First2BitsSet = (enum FlagEnum)(FE_BIT_1 | FE_BIT_2); // no-warning: Enums with the attribute 'flag_enum' are not checked
|
|
(void)First2BitsSet;
|
|
}
|