[clang] [analyzer] Add std::any checker (PR #76580)
via cfe-commits
cfe-commits at lists.llvm.org
Fri Dec 29 13:43:09 PST 2023
github-actions[bot] wrote:
<!--LLVM CODE FORMAT COMMENT: {clang-format}-->
:warning: C/C++ code formatter, clang-format found issues in your code. :warning:
<details>
<summary>
You can test this locally with the following command:
</summary>
``````````bash
git-clang-format --diff 90802e652db348fd3218fcbfc3e6ac9e90702acd 1a96db3c48782b0ec6f2de403ce862b9a95917bf -- clang/lib/StaticAnalyzer/Checkers/StdAnyChecker.cpp clang/test/Analysis/std-any-checker.cpp clang/lib/StaticAnalyzer/Checkers/StdVariantChecker.cpp clang/lib/StaticAnalyzer/Checkers/TaggedUnionModeling.h clang/test/Analysis/Inputs/system-header-simulator-cxx.h clang/test/Analysis/std-variant-checker.cpp
``````````
</details>
<details>
<summary>
View the diff from clang-format here.
</summary>
``````````diff
diff --git a/clang/lib/StaticAnalyzer/Checkers/StdAnyChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/StdAnyChecker.cpp
index df7b9c9c15..ef6a9268d9 100644
--- a/clang/lib/StaticAnalyzer/Checkers/StdAnyChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/StdAnyChecker.cpp
@@ -107,10 +107,11 @@ public:
private:
// When an std::any is rested or default constructed it has a null type.
// We represent it by storing a null QualType.
- ProgramStateRef setNullTypeAny(const MemRegion *Mem, CheckerContext &C) const {
+ ProgramStateRef setNullTypeAny(const MemRegion *Mem,
+ CheckerContext &C) const {
auto State = C.getState();
return State->set<AnyHeldTypeMap>(Mem, QualType{});
- //C.addTransition(State);
+ // C.addTransition(State);
}
bool handleAnyCastCall(const CallEvent &Call, CheckerContext &C) const {
``````````
</details>
https://github.com/llvm/llvm-project/pull/76580
More information about the cfe-commits
mailing list