blob: 6cc40fa2ba666f9a3ff6f434e145b8b5d4946117 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
// RUN: %check_clang_tidy %s cert-msc32-c %t -- -config="{CheckOptions: [{key: cert-msc32-c.DisallowedSeedTypes, value: 'some_type,time_t'}]}" -- -std=c99
void srand(int seed);
typedef int time_t;
time_t time(time_t *t);
void f() {
srand(1);
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: random number generator seeded with a constant value will generate a predictable sequence of values [cert-msc32-c]
const int a = 1;
srand(a);
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: random number generator seeded with a constant value will generate a predictable sequence of values [cert-msc32-c]
time_t t;
srand(time(&t)); // Disallowed seed type
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: random number generator seeded with a disallowed source of seed value will generate a predictable sequence of values [cert-msc32-c]
}
void g() {
typedef int user_t;
user_t a = 1;
srand(a);
int b = 1;
srand(b); // Can not evaluate as int
}
|