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

[Donát Nagy via cfe-commits]

================
@@ -424,6 +481,9 @@ void StackAddrEscapeChecker::checkEndFunction(const 
ReturnStmt *RS,
   for (const auto &P : Cb.V) {
     const MemRegion *Referrer = P.first->getBaseRegion();
     const MemRegion *Referred = P.second;
+    if (Cb.ExcludedRegions.contains(getOriginBaseRegion(Referrer))) {
----------------
NagyDonat wrote:

It's a bit inconsistent that you use the recursive 
`getOriginBaseRegion(Referrer)` here, while in `recordInvalidatedRegions()` you 
just call `Symbol->getOriginRegion()->getBaseRegion()` once. Consider using the 
same logic in both situations.

https://github.com/llvm/llvm-project/pull/105648
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits