[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 a comment.

Note that the uncontrolled recursion checker will not be able to test this overwrite problem, because overwriting the argument region spoils the stack frame for it.



================
Comment at: include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:743
+    const Loc ArgLoc = getLValue(ArgDecl, SFC);
+    return getSVal(ArgLoc);
+  } else {
----------------
Hmm, this should work:
```
~ 743     StoreManager &storeMgr = stateMgr->getStoreManager();
+ 744     return storeMgr.getBinding(storeMgr.getInitialStore(SFC).getStore(),
+ 745                                ArgLoc);
```


https://reviews.llvm.org/D26760