diff options
author | Jordan Rose <jordan_rose@apple.com> | 2013-11-08 01:15:30 +0000 |
---|---|---|
committer | Jordan Rose <jordan_rose@apple.com> | 2013-11-08 01:15:30 +0000 |
commit | 236dbd25e77521977335b37f5fb915e5678b1195 (patch) | |
tree | 3f3234009465867f841429961863045aea4b339a /clang/test | |
parent | ec7cea925e7687bf34ddc186d63ff734453612a8 (diff) | |
download | bcm5719-llvm-236dbd25e77521977335b37f5fb915e5678b1195.tar.gz bcm5719-llvm-236dbd25e77521977335b37f5fb915e5678b1195.zip |
[analyzer] Specialize "loop executed 0 times" for for-in and for-range loops.
The path note that says "Loop body executed 0 times" has been changed to
"Loop body skipped when range is empty" for C++11 for-range loops, and to
"Loop body skipped when collection is empty" for Objective-C for-in loops.
Part of <rdar://problem/14992886>
llvm-svn: 194234
Diffstat (limited to 'clang/test')
-rw-r--r-- | clang/test/Analysis/cxx-for-range.cpp | 8 | ||||
-rw-r--r-- | clang/test/Analysis/edges-new.mm | 36 |
2 files changed, 22 insertions, 22 deletions
diff --git a/clang/test/Analysis/cxx-for-range.cpp b/clang/test/Analysis/cxx-for-range.cpp index 1889a5557f6..fe73e51410a 100644 --- a/clang/test/Analysis/cxx-for-range.cpp +++ b/clang/test/Analysis/cxx-for-range.cpp @@ -1133,9 +1133,9 @@ void testLoopErrorInRange() { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> @@ -1550,9 +1550,9 @@ void testLoopErrorInRange() { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> diff --git a/clang/test/Analysis/edges-new.mm b/clang/test/Analysis/edges-new.mm index e10652b9512..8019c15c1b2 100644 --- a/clang/test/Analysis/edges-new.mm +++ b/clang/test/Analysis/edges-new.mm @@ -2925,9 +2925,9 @@ namespace rdar14960554 { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when collection is empty</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when collection is empty</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> @@ -12896,9 +12896,9 @@ namespace rdar14960554 { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when collection is empty</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when collection is empty</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> @@ -13415,9 +13415,9 @@ namespace rdar14960554 { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> @@ -14150,9 +14150,9 @@ namespace rdar14960554 { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when collection is empty</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when collection is empty</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> @@ -14669,9 +14669,9 @@ namespace rdar14960554 { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> @@ -15467,9 +15467,9 @@ namespace rdar14960554 { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when collection is empty</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when collection is empty</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> @@ -15986,9 +15986,9 @@ namespace rdar14960554 { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> @@ -16881,9 +16881,9 @@ namespace rdar14960554 { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when collection is empty</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when collection is empty</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> @@ -17400,9 +17400,9 @@ namespace rdar14960554 { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Loop body executed 0 times</string> +// CHECK-NEXT: <string>Loop body skipped when range is empty</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> |