xazax.hun added a comment.
In the meantime CheckBeginFunction has been implemented separately. I think you
should "abandon" this revision so it is shown as closed.
https://reviews.llvm.org/D15090
___
cfe-commits mailing list
cfe-commits@lists.llvm.
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 othe
shdnx created this revision.
shdnx added reviewers: zaks.anna, jordan_rose.
shdnx added a subscriber: cfe-commits.
Adds a new analyzer hook:
```
ProgramStateRef checkInitialState(const EntryPointInfo& EPInfo) /* non-const */;
```
This allows checkers to act on entry points, set up their initial
