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, 2 insertions, 2 deletions

diff --git a/clang/test/Analysis/string.c b/clang/test/Analysis/string.c
index b4d21cd9f91..f24d71ca840 100644
--- a/clang/test/Analysis/string.c
+++ b/clang/test/Analysis/string.c
@@ -35,13 +35,13 @@ size_t strlen(const char *s);
 
 void strlen_constant0() {
   if (strlen("123") != 3)
-    (void)*(char*)0; // expected-warning{{never executed}}
+    (void)*(char*)0;
 }
 
 void strlen_constant1() {
   const char *a = "123";
   if (strlen(a) != 3)
-    (void)*(char*)0; // expected-warning{{never executed}}
+    (void)*(char*)0;
 }
 
 void strlen_constant2(char x) {