[PATCH] D26760: Add the way to extract SVals of arguments used in a call for a given StackFrameCtx

[Artem Dergachev via cfe-commits]

NoQ added inline comments.


================
Comment at: include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:739
+  if (SFC->inTopFrame()) {
+    // if we are in the top frame we don't have any arguments bound in the store
+    // because the call wasn't modeled in the first place.
----------------
Rather in the environment. In fact, here we are relying on the store to *always* have something for us, even if wasn't directly bound earlier.


https://reviews.llvm.org/D26760