[analyzer] Test case reported for a reported false positive, now fixed.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@155945 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Analysis/malloc.c b/test/Analysis/malloc.c
index 1fc874349e6f39e0d5cd4a915ce68238a86c179c..c19ee3259ca98376a3b62e810a8b870eff5606df 100644 (file)
--- a/test/Analysis/malloc.c
+++ b/test/Analysis/malloc.c
@@ -783,6 +783,15 @@ void *radar11329382(unsigned bl) {
   return ptr; // no warning
 }
 
+void __assert_rtn(const char *, const char *, int, const char *) __attribute__((__noreturn__));
+int strcmp(const char *, const char *);
+char *a (void);
+void radar11270219(void) {
+  char *x = a(), *y = a();
+  (__builtin_expect(!(x && y), 0) ? __assert_rtn(__func__, "/Users/zaks/tmp/ex.c", 24, "x && y") : (void)0);
+  strcmp(x, y); // no warning
+}
+
 // ----------------------------------------------------------------------------
 // Below are the known false positives.