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

Anna Zaks via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Dec 9 23:16:52 PST 2016


zaks.anna added a comment.

Update: Adding support for top frame to the CallEvent is difficult, so let's just use CallEvent API in the checkers for all frames but the top one and have custom top frame handling in the Recursion checker itself. The top frame handling does not need to be complete (handle all call types) since in the worst case we will be missing bugs (no false positives due to this).


https://reviews.llvm.org/D27091





More information about the cfe-commits mailing list