Added some false positive checking to UnreachableCodeChecker

- Allowed reporting of dead macros
- Added path walking function to search for false positives in conditional statements
- Updated some affected tests
- Added some false positive test cases

llvm-svn: 109561

1 files changed, 3 insertions, 3 deletions

diff --git a/clang/test/Analysis/additive-folding.c b/clang/test/Analysis/additive-folding.c
index 6e81fcf8c2a..e4a56513396 100644
--- a/clang/test/Analysis/additive-folding.c
+++ b/clang/test/Analysis/additive-folding.c
@@ -61,7 +61,7 @@ void eq_ne (unsigned a) {
   if (a+1 != 0)
     return; // no-warning
   if (a-1 != UINT_MAX-1)
-    return; // expected-warning{{never executed}}
+    return; // no-warning
   free(b);
 }
 
@@ -72,7 +72,7 @@ void ne_eq (unsigned a) {
   if (a+1 == 0)
     return; // no-warning
   if (a-1 == UINT_MAX-1)
-    return; // expected-warning{{never executed}}
+    return; // no-warning
   free(b);
 }
 
@@ -177,7 +177,7 @@ void adjustedLE (unsigned a) {
 void tautologyGT (unsigned a) {
   char* b = malloc(1);
   if (a > UINT_MAX)
-    return; // expected-warning{{never executed}}
+    return; // no-warning
   free(b);
 }