| // RUN: %clang --analyze %s -Xclang -analyzer-inline-call -o %t > /dev/null 2>&1 |
| // RUN: FileCheck -input-file %t %s |
| |
| static inline bug(int *p) { |
| *p = 0xDEADBEEF; |
| } |
| |
| void test_bug_1() { |
| int *p = 0; |
| bug(p); |
| } |
| |
| void test_bug_2() { |
| int *p = 0; |
| bug(p); |
| } |
| |
| // CHECK: <?xml version="1.0" encoding="UTF-8"?> |
| // CHECK: <plist version="1.0"> |
| // CHECK: <dict> |
| // CHECK: <key>files</key> |
| // CHECK: <array> |
| // CHECK: </array> |
| // CHECK: <key>diagnostics</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>path</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>control</string> |
| // CHECK: <key>edges</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>start</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>9</integer> |
| // CHECK: <key>col</key><integer>3</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>9</integer> |
| // CHECK: <key>col</key><integer>3</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>end</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>10</integer> |
| // CHECK: <key>col</key><integer>3</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>10</integer> |
| // CHECK: <key>col</key><integer>3</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>event</string> |
| // CHECK: <key>location</key> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>10</integer> |
| // CHECK: <key>col</key><integer>3</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <key>ranges</key> |
| // CHECK: <array> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>10</integer> |
| // CHECK: <key>col</key><integer>3</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>10</integer> |
| // CHECK: <key>col</key><integer>8</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </array> |
| // CHECK: <key>extended_message</key> |
| // CHECK: <string>Calling 'bug'</string> |
| // CHECK: <key>message</key> |
| // CHECK: <string>Calling 'bug'</string> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>event</string> |
| // CHECK: <key>location</key> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>4</integer> |
| // CHECK: <key>col</key><integer>1</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <key>extended_message</key> |
| // CHECK: <string>Entered call to 'bug'</string> |
| // CHECK: <key>message</key> |
| // CHECK: <string>Entered call to 'bug'</string> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>control</string> |
| // CHECK: <key>edges</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>start</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>4</integer> |
| // CHECK: <key>col</key><integer>1</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>4</integer> |
| // CHECK: <key>col</key><integer>1</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>end</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>5</integer> |
| // CHECK: <key>col</key><integer>3</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>5</integer> |
| // CHECK: <key>col</key><integer>4</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>event</string> |
| // CHECK: <key>location</key> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>5</integer> |
| // CHECK: <key>col</key><integer>3</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <key>ranges</key> |
| // CHECK: <array> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>5</integer> |
| // CHECK: <key>col</key><integer>4</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>5</integer> |
| // CHECK: <key>col</key><integer>4</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </array> |
| // CHECK: <key>extended_message</key> |
| // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> |
| // CHECK: <key>message</key> |
| // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> |
| // CHECK: <key>category</key><string>Logic error</string> |
| // CHECK: <key>type</key><string>Dereference of null pointer</string> |
| // CHECK: <key>location</key> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>5</integer> |
| // CHECK: <key>col</key><integer>3</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: </plist> |
| |