clang/test/Analysis/unix-fns-o_creat.c


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
28
29
30
31
32
33
34
35
36
37
38
39

// RUN: %clang_analyze_cc1 -verify -analyzer-checker=core,unix.API -analyzer-output=text %s

// Verify that the UnixAPIChecker finds the missing mode value regardless
// of the particular values of these macros, particularly O_CREAT.
#define O_RDONLY  0x2000
#define O_WRONLY  0x8000
#define O_CREAT   0x0002

extern int open(const char *path, int flags, ...);

void missing_mode_1(const char *path) {
  (void)open(path, O_CREAT); // expected-warning{{Call to 'open' requires a 3rd argument when the 'O_CREAT' flag is set}} \
                                expected-note{{Call to 'open' requires a 3rd argument when the 'O_CREAT' flag is set}}
}

extern int some_flag;

void missing_mode_2(const char *path) {
  int mode = O_WRONLY;
  if (some_flag) { // expected-note {{Assuming 'some_flag' is not equal to 0}} \
                     expected-note {{Taking true branch}}
    mode |= O_CREAT;
  }
  (void)open(path, mode); // expected-warning{{Call to 'open' requires a 3rd argument when the 'O_CREAT' flag is set}} \
                             expected-note{{Call to 'open' requires a 3rd argument when the 'O_CREAT' flag is set}}
}

void no_creat(const char* path) {
  int mode = O_RDONLY;
  (void)open(path, mode); // ok
}

void mode_is_there(const char *path) {
  int mode = O_WRONLY;
  if (some_flag) {
    mode |= O_CREAT;
  }
  (void)open(path, mode, 0770); // ok
}