[clang] [analyzer] Workaround for unintended slowdown (scope increase) (PR #136720)

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 24 08:24:29 PDT 2025


================
@@ -2523,6 +2523,20 @@ bool ExprEngine::replayWithoutInlining(ExplodedNode *N,
   return true;
 }
 
+/// Return the innermost location context which is inlined at `Node`, unless
+/// it's the top-level (entry point) location context.
+static const LocationContext *getInlinedLocationContext(ExplodedNode *Node,
+                                                        ExplodedGraph &G) {
+  const LocationContext *CalleeLC = Node->getLocation().getLocationContext();
+  const LocationContext *RootLC =
----------------
Xazax-hun wrote:

Could we have multiple roots? What if we pick the wrong one?

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


More information about the cfe-commits mailing list