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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
