[clang] e651ed8 - [analyzer] Fix wrong annotation of LazyCompoundVal::getStore

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Fri May 27 07:08:00 PDT 2022


Author: Balazs Benics
Date: 2022-05-27T16:07:33+02:00
New Revision: e651ed8621c3719937517ddb0b0815b18ec888e4

URL: https://github.com/llvm/llvm-project/commit/e651ed8621c3719937517ddb0b0815b18ec888e4
DIFF: https://github.com/llvm/llvm-project/commit/e651ed8621c3719937517ddb0b0815b18ec888e4.diff

LOG: [analyzer] Fix wrong annotation of LazyCompoundVal::getStore

The build bot https://lab.llvm.org/buildbot#builders/5/builds/24183
uncovered a wrong nonnull annotation intoduced by D126198.

Added: 
    

Modified: 
    clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

Removed: 
    


################################################################################
diff  --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
index ec7f05333f7b..7c5f23b6d466 100644
--- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
+++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
@@ -421,7 +421,7 @@ class LazyCompoundVal : public NonLoc {
     return static_cast<const LazyCompoundValData *>(Data);
   }
 
-  LLVM_ATTRIBUTE_RETURNS_NONNULL
+  /// It might return null.
   const void *getStore() const;
 
   LLVM_ATTRIBUTE_RETURNS_NONNULL


        


More information about the cfe-commits mailing list