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
40
41
42
43
44
45
46
47
48
49
50
|
// RUN: rm -rf %t
// RUN: mkdir -p %t
// RUN: split-file %s %t
// DEFINE: %{emit-pch-action} = \
// DEFINE: %clang_cc1 -x c++ -emit-pch -o %t/header.pch %t/header.h
// DEFINE: %{analyze-action} = \
// DEFINE: %clang_analyze_cc1 -include-pch %t/header.pch \
// DEFINE: -analyzer-checker=core,apiModeling,unix.StdCLibraryFunctions \
// DEFINE: -verify %t/main.cpp
// RUN: %{emit-pch-action} -triple x86_64-apple-macosx10.15.0
// RUN: %{analyze-action} -triple x86_64-apple-macosx10.15.0
// RUN: %{emit-pch-action}
// RUN: %{analyze-action}
//--- header.h
// Pre-compiled header
int foo();
// Literal data for macro values will be null as they are defined in a PCH
#define EOF -1
#define AT_FDCWD -2
//--- main.cpp
// Source file
// expected-no-diagnostics
int test() {
// we need a function call here to initiate erroneous routine
return foo(); // no-crash
}
// Test that StdLibraryFunctionsChecker can obtain the definition of
// AT_FDCWD even if it is from a PCH:
int faccessat(int, const char *, int, int);
void test_faccessat() {
char fileSystemPath[10] = { 0 };
if (0 != faccessat(AT_FDCWD, fileSystemPath, 2, 0x0030)) {}
}
|
