[clang] [analyzer] Detect leaks of stack addresses via output params, indirect globals 3/3 (PR #105648)

via cfe-commits cfe-commits at lists.llvm.org
Tue Aug 27 07:45:26 PDT 2024


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 95b37a76493a1cd4b607f53f4318b5da5b5392f0 532eea2e6fdccd2bc6f10b5f1620110edd2c4798 --extensions c,cpp,h -- clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp clang/lib/StaticAnalyzer/Core/BugReporter.cpp clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp clang/lib/StaticAnalyzer/Core/ExprEngine.cpp clang/test/Analysis/copy-elision.cpp clang/test/Analysis/incorrect-checker-names.cpp clang/test/Analysis/loop-block-counts.c clang/test/Analysis/stack-addr-ps.c clang/test/Analysis/stack-addr-ps.cpp clang/test/Analysis/stackaddrleak.c
``````````

</details>

<details>
<summary>
View the diff from clang-format here.
</summary>

``````````diff
diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
index 4464d74536..47b5054500 100644
--- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
+++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
@@ -288,7 +288,7 @@ public:
 
   // A tag to track convenience transitions, which can be removed at cleanup.
   // This tag applies to a node created after removeDead.
-  static const ProgramPointTag* cleanupNodeTag();
+  static const ProgramPointTag *cleanupNodeTag();
 
   /// processCFGElement - Called by CoreEngine. Used to generate new successor
   ///  nodes by processing the 'effects' of a CFG element.
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
index 2219300493..40eb6463b2 100644
--- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
+++ b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
@@ -1104,7 +1104,7 @@ void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out,
   }
 }
 
-const ProgramPointTag* ExprEngine::cleanupNodeTag() {
+const ProgramPointTag *ExprEngine::cleanupNodeTag() {
   static SimpleProgramPointTag cleanupTag(TagProviderName, "Clean Node");
   return &cleanupTag;
 }

``````````

</details>


https://github.com/llvm/llvm-project/pull/105648


More information about the cfe-commits mailing list