[PATCH] D15090: [Static Analyzer] New checker hook: checkInitialState

[Artem Dergachev via cfe-commits]

NoQ added a subscriber: NoQ.
NoQ added a comment.

Yeah, that's what i had in mind. Additionally, `Decl` can be obtained as `Context.getStackFrame().getDecl()` (and in fact the `getStackFrame()` thing itself is of interest as well), so there's no need to pass it as an extra argument. On the other hand, `CallEvent` might be of interest to have easier access to function arguments (not sure how much sense there is in a `CallEvent` object corresponding to the //top frame//, even though values inside it are pretty obvious).


http://reviews.llvm.org/D15090