1 // RUN: %clang --analyze %s -Xclang -analyzer-ipa=inlining -o %t > /dev/null 2>&1 2 // RUN: FileCheck -input-file %t %s 3 4 static inline bug(int *p) { 5 *p = 0xDEADBEEF; 6 } 7 8 void test_bug_1() { 9 int *p = 0; 10 bug(p); 11 } 12 13 void test_bug_2() { 14 int *p = 0; 15 bug(p); 16 } 17 18 // CHECK: <?xml version="1.0" encoding="UTF-8"?> 19 // CHECK: <plist version="1.0"> 20 // CHECK: <dict> 21 // CHECK: <key>files</key> 22 // CHECK: <array> 23 // CHECK: </array> 24 // CHECK: <key>diagnostics</key> 25 // CHECK: <array> 26 // CHECK: <dict> 27 // CHECK: <key>path</key> 28 // CHECK: <array> 29 // CHECK: <dict> 30 // CHECK: <key>kind</key><string>control</string> 31 // CHECK: <key>edges</key> 32 // CHECK: <array> 33 // CHECK: <dict> 34 // CHECK: <key>start</key> 35 // CHECK: <array> 36 // CHECK: <dict> 37 // CHECK: <key>line</key><integer>9</integer> 38 // CHECK: <key>col</key><integer>3</integer> 39 // CHECK: <key>file</key><integer>0</integer> 40 // CHECK: </dict> 41 // CHECK: <dict> 42 // CHECK: <key>line</key><integer>9</integer> 43 // CHECK: <key>col</key><integer>3</integer> 44 // CHECK: <key>file</key><integer>0</integer> 45 // CHECK: </dict> 46 // CHECK: </array> 47 // CHECK: <key>end</key> 48 // CHECK: <array> 49 // CHECK: <dict> 50 // CHECK: <key>line</key><integer>10</integer> 51 // CHECK: <key>col</key><integer>3</integer> 52 // CHECK: <key>file</key><integer>0</integer> 53 // CHECK: </dict> 54 // CHECK: <dict> 55 // CHECK: <key>line</key><integer>10</integer> 56 // CHECK: <key>col</key><integer>3</integer> 57 // CHECK: <key>file</key><integer>0</integer> 58 // CHECK: </dict> 59 // CHECK: </array> 60 // CHECK: </dict> 61 // CHECK: </array> 62 // CHECK: </dict> 63 // CHECK: <dict> 64 // CHECK: <key>kind</key><string>event</string> 65 // CHECK: <key>location</key> 66 // CHECK: <dict> 67 // CHECK: <key>line</key><integer>10</integer> 68 // CHECK: <key>col</key><integer>3</integer> 69 // CHECK: <key>file</key><integer>0</integer> 70 // CHECK: </dict> 71 // CHECK: <key>ranges</key> 72 // CHECK: <array> 73 // CHECK: <array> 74 // CHECK: <dict> 75 // CHECK: <key>line</key><integer>10</integer> 76 // CHECK: <key>col</key><integer>3</integer> 77 // CHECK: <key>file</key><integer>0</integer> 78 // CHECK: </dict> 79 // CHECK: <dict> 80 // CHECK: <key>line</key><integer>10</integer> 81 // CHECK: <key>col</key><integer>8</integer> 82 // CHECK: <key>file</key><integer>0</integer> 83 // CHECK: </dict> 84 // CHECK: </array> 85 // CHECK: </array> 86 // CHECK: <key>depth</key><integer>0</integer> 87 // CHECK: <key>extended_message</key> 88 // CHECK: <string>Calling 'bug'</string> 89 // CHECK: <key>message</key> 90 // CHECK: <string>Calling 'bug'</string> 91 // CHECK: </dict> 92 // CHECK: <dict> 93 // CHECK: <key>kind</key><string>event</string> 94 // CHECK: <key>location</key> 95 // CHECK: <dict> 96 // CHECK: <key>line</key><integer>4</integer> 97 // CHECK: <key>col</key><integer>1</integer> 98 // CHECK: <key>file</key><integer>0</integer> 99 // CHECK: </dict> 100 // CHECK: <key>depth</key><integer>1</integer> 101 // CHECK: <key>extended_message</key> 102 // CHECK: <string>Entered call from 'test_bug_1'</string> 103 // CHECK: <key>message</key> 104 // CHECK: <string>Entered call from 'test_bug_1'</string> 105 // CHECK: </dict> 106 // CHECK: <dict> 107 // CHECK: <key>kind</key><string>control</string> 108 // CHECK: <key>edges</key> 109 // CHECK: <array> 110 // CHECK: <dict> 111 // CHECK: <key>start</key> 112 // CHECK: <array> 113 // CHECK: <dict> 114 // CHECK: <key>line</key><integer>4</integer> 115 // CHECK: <key>col</key><integer>1</integer> 116 // CHECK: <key>file</key><integer>0</integer> 117 // CHECK: </dict> 118 // CHECK: <dict> 119 // CHECK: <key>line</key><integer>4</integer> 120 // CHECK: <key>col</key><integer>1</integer> 121 // CHECK: <key>file</key><integer>0</integer> 122 // CHECK: </dict> 123 // CHECK: </array> 124 // CHECK: <key>end</key> 125 // CHECK: <array> 126 // CHECK: <dict> 127 // CHECK: <key>line</key><integer>5</integer> 128 // CHECK: <key>col</key><integer>3</integer> 129 // CHECK: <key>file</key><integer>0</integer> 130 // CHECK: </dict> 131 // CHECK: <dict> 132 // CHECK: <key>line</key><integer>5</integer> 133 // CHECK: <key>col</key><integer>3</integer> 134 // CHECK: <key>file</key><integer>0</integer> 135 // CHECK: </dict> 136 // CHECK: </array> 137 // CHECK: </dict> 138 // CHECK: </array> 139 // CHECK: </dict> 140 // CHECK: <dict> 141 // CHECK: <key>kind</key><string>event</string> 142 // CHECK: <key>location</key> 143 // CHECK: <dict> 144 // CHECK: <key>line</key><integer>5</integer> 145 // CHECK: <key>col</key><integer>3</integer> 146 // CHECK: <key>file</key><integer>0</integer> 147 // CHECK: </dict> 148 // CHECK: <key>ranges</key> 149 // CHECK: <array> 150 // CHECK: <array> 151 // CHECK: <dict> 152 // CHECK: <key>line</key><integer>5</integer> 153 // CHECK: <key>col</key><integer>4</integer> 154 // CHECK: <key>file</key><integer>0</integer> 155 // CHECK: </dict> 156 // CHECK: <dict> 157 // CHECK: <key>line</key><integer>5</integer> 158 // CHECK: <key>col</key><integer>4</integer> 159 // CHECK: <key>file</key><integer>0</integer> 160 // CHECK: </dict> 161 // CHECK: </array> 162 // CHECK: </array> 163 // CHECK: <key>depth</key><integer>1</integer> 164 // CHECK: <key>extended_message</key> 165 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 166 // CHECK: <key>message</key> 167 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 168 // CHECK: </dict> 169 // CHECK: </array> 170 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 171 // CHECK: <key>category</key><string>Logic error</string> 172 // CHECK: <key>type</key><string>Dereference of null pointer</string> 173 // CHECK: <key>issue_context_kind</key><string>function</string> 174 // CHECK: <key>issue_context</key><string>bug</string> 175 // CHECK: <key>location</key> 176 // CHECK: <dict> 177 // CHECK: <key>line</key><integer>5</integer> 178 // CHECK: <key>col</key><integer>3</integer> 179 // CHECK: <key>file</key><integer>0</integer> 180 // CHECK: </dict> 181 // CHECK: </dict> 182 // CHECK: </array> 183 // CHECK: </dict> 184 // CHECK: </plist> 185
