[clang] [analyzer] Detect leaks of stack addresses via output params, indirect globals 3/3 (PR #105648)
Gábor Horváth via cfe-commits
cfe-commits at lists.llvm.org
Tue Aug 27 03:45:32 PDT 2024
================
@@ -348,12 +357,27 @@ void StackAddrEscapeChecker::checkEndFunction(const ReturnStmt *RS,
ExplodedNode *Node = Ctx.getPredecessor();
+ bool ExitingTopFrame =
+ Ctx.getPredecessor()->getLocationContext()->inTopFrame();
+
+ if (ExitingTopFrame && Node->getLocation().getTag() &&
+ Node->getLocation().getTag()->getTagDescription() ==
----------------
Xazax-hun wrote:
Is this a common idiom to check for the tag description? I wonder if we could come up with something that is less stringly typed.
https://github.com/llvm/llvm-project/pull/105648
More information about the cfe-commits
mailing list