105 lines · c
1// RUN: rm -rf %t && mkdir %t2// RUN: mkdir -p %t/ctudir3// RUN: %clang_cc1 -emit-pch -o %t/ctudir/plist-macros-ctu.c.ast %S/Inputs/plist-macros-ctu.c4// RUN: cp %S/Inputs/plist-macros-with-expansion-ctu.c.externalDefMap.txt %t/ctudir/externalDefMap.txt5//6// RUN: %clang_analyze_cc1 -analyzer-checker=core \7// RUN: -analyzer-config experimental-enable-naive-ctu-analysis=true \8// RUN: -analyzer-config ctu-dir=%t/ctudir \9// RUN: -analyzer-config expand-macros=true \10// RUN: -analyzer-output=plist-multi-file -o %t.plist -verify %s11//12// Check the macro expansions from the plist output here, to make the test more13// understandable.14// RUN: FileCheck --input-file=%t.plist %s15 16extern void F1(int **);17extern void F2(int **);18extern void F3(int **);19extern void F_H(int **);20 21void test0(void) {22 int *X;23 F3(&X);24 *X = 1; // expected-warning{{Dereference of null pointer}}25}26// FIXME: Macro expansion for other TUs should also work.27// CHECK: <key>macro_expansions</key>28// CHECK-NEXT: <array>29// CHECK-NEXT: </array>30 31void test1(void) {32 int *X;33 F1(&X);34 *X = 1; // expected-warning{{Dereference of null pointer}}35}36 37// CHECK: <key>macro_expansions</key>38// CHECK-NEXT: <array>39// CHECK-NEXT: </array>40 41void test2(void) {42 int *X;43 F2(&X);44 *X = 1; // expected-warning{{Dereference of null pointer}}45}46 47// CHECK: <key>macro_expansions</key>48// CHECK-NEXT: <array>49// CHECK-NEXT: </array>50 51#define M F1(&X)52 53void test3(void) {54 int *X;55 M;56 *X = 1; // expected-warning{{Dereference of null pointer}}57}58// Macro expansions for the main TU still works, even in CTU mode.59// CHECK: <key>macro_expansions</key>60// CHECK-NEXT: <array>61// CHECK-NEXT: <dict>62// CHECK-NEXT: <key>location</key>63// CHECK-NEXT: <dict>64// CHECK-NEXT: <key>line</key><integer>55</integer>65// CHECK-NEXT: <key>col</key><integer>3</integer>66// CHECK-NEXT: <key>file</key><integer>0</integer>67// CHECK-NEXT: </dict>68// CHECK-NEXT: <key>name</key><string>M</string>69// CHECK-NEXT: <key>expansion</key><string>F1 (&X )</string>70// CHECK-NEXT: </dict>71// CHECK-NEXT: </array>72 73#undef M74#define M F2(&X)75 76void test4(void) {77 int *X;78 M;79 *X = 1; // expected-warning{{Dereference of null pointer}}80}81 82// CHECK: <key>macro_expansions</key>83// CHECK-NEXT: <array>84// CHECK-NEXT: <dict>85// CHECK-NEXT: <key>location</key>86// CHECK-NEXT: <dict>87// CHECK-NEXT: <key>line</key><integer>78</integer>88// CHECK-NEXT: <key>col</key><integer>3</integer>89// CHECK-NEXT: <key>file</key><integer>0</integer>90// CHECK-NEXT: </dict>91// CHECK-NEXT: <key>name</key><string>M</string>92// CHECK-NEXT: <key>expansion</key><string>F2 (&X )</string>93// CHECK-NEXT: </dict>94// CHECK-NEXT: </array>95 96void test_h(void) {97 int *X;98 F_H(&X);99 *X = 1; // expected-warning{{Dereference of null pointer}}100}101 102// CHECK: <key>macro_expansions</key>103// CHECK-NEXT: <array>104// CHECK-NEXT: </array>105