================
@@ -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 =
----------------
NagyDonat wrote:

Very good questions!

I strongly suspect that in practice the graph always has only one root and the 
"multiple roots" representation is just one of the many pointlessly generic 
fragments that were added during the early development of the project – but I'm 
just moving this code to a helper function (because I need to call it from a 
second location) and I didn't check whether its assumptions are correct.

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

Reply via email to