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

[Donát Nagy via cfe-commits]

================
@@ -305,6 +305,14 @@ static const MemSpaceRegion 
*getStackOrGlobalSpaceRegion(const MemRegion *R) {
   return nullptr;
 }
 
+const MemRegion *getOriginBaseRegion(const MemRegion *Referrer) {
+  Referrer = Referrer->getBaseRegion();
+  while (const auto *SymReg = dyn_cast<SymbolicRegion>(Referrer)) {
+    Referrer = SymReg->getSymbol()->getOriginRegion()->getBaseRegion();
+  }
+  return Referrer;
----------------
NagyDonat wrote:
`<bikeshedding>`
Consider replacing `Referrer` with a more generic variable name like `MR` or 
`Region` or `Reg`, as this is a generic region -> region transformation.
`</bikeshedding>`

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