r354127 - [Analyzer] Fix for test file of bug 40625

Adam Balogh via cfe-commits cfe-commits at lists.llvm.org
Fri Feb 15 04:33:42 PST 2019


Author: baloghadamsoftware
Date: Fri Feb 15 04:33:42 2019
New Revision: 354127

URL: http://llvm.org/viewvc/llvm-project?rev=354127&view=rev
Log:
[Analyzer] Fix for test file of bug 40625

Test fixed and changed to true positive, FIXME about false positive removed.


Modified:
    cfe/trunk/test/Analysis/PR40625.cpp

Modified: cfe/trunk/test/Analysis/PR40625.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/PR40625.cpp?rev=354127&r1=354126&r2=354127&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/PR40625.cpp (original)
+++ cfe/trunk/test/Analysis/PR40625.cpp Fri Feb 15 04:33:42 2019
@@ -3,10 +3,7 @@
 void f(const int *end);
 
 void g(const int (&arrr)[10]) {
-  f(arrr+sizeof(arrr)); // expected-warning{{1st function call argument is a pointer to uninitialized value}}
-  // FIXME: This is a false positive that should be fixed. Until then this
-  //        tests the crash fix in FindLastStoreBRVisitor (beside
-  //        uninit-vals.m).
+  f(arrr); // expected-warning{{1st function call argument is a pointer to uninitialized value}}
 }
 
 void h() {




More information about the cfe-commits mailing list