[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