diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-03-06 01:25:01 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-03-06 01:25:01 +0000 |
| commit | 04e860df2c0314adee9c7084d72556c7f26e6dd3 (patch) | |
| tree | 04281a80755e9211e92b1286be47f69304ef5f35 /clang/test/Analysis/inline-unique-reports.c | |
| parent | e781266905a6176c59dea7c55893871b50a8a647 (diff) | |
| download | bcm5719-llvm-04e860df2c0314adee9c7084d72556c7f26e6dd3.tar.gz bcm5719-llvm-04e860df2c0314adee9c7084d72556c7f26e6dd3.zip | |
[analyzer] add a diagnostic event when entering a call via inlining, within the callee, and add an edge.
llvm-svn: 152086
Diffstat (limited to 'clang/test/Analysis/inline-unique-reports.c')
| -rw-r--r-- | clang/test/Analysis/inline-unique-reports.c | 51 |
1 files changed, 49 insertions, 2 deletions
diff --git a/clang/test/Analysis/inline-unique-reports.c b/clang/test/Analysis/inline-unique-reports.c index f5e5b36be71..c99a3033353 100644 --- a/clang/test/Analysis/inline-unique-reports.c +++ b/clang/test/Analysis/inline-unique-reports.c @@ -84,9 +84,56 @@ void test_bug_2() { // CHECK: </array> // CHECK: </array> // CHECK: <key>extended_message</key> -// CHECK: <string>Entering call to 'bug'</string> +// CHECK: <string>Calling 'bug'</string> // CHECK: <key>message</key> -// CHECK: <string>Entering call to 'bug'</string> +// 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> |
