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
This patch proposal is now on Phabricator: http://reviews.llvm.org/D15090 -
let's continue this discussion there.
> At a glance, I wonder if it's worth it to provide a CheckerContext
inside this callback and then handle transitions properly (which would
allow the checker to split the program stat
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
Hmm. I once thought about creating a 'checkBeginAnalysis()' callback to
match 'checkEndAnalysis()'; this one's more powerful, and matches
'checkEndFunction()' in a similar manner.
At a glance, I wonder if it's worth it to provide a CheckerContext
inside this callback and then handle transition
+Jordan, Anna
---
Best regards,
Gábor 'ShdNx' Kozár http://gaborkozar.me
On Sat, Nov 28, 2015, at 22:52, Gabor Kozar via cfe-commits wrote:
> Hi,
>
> Once, long ago, I started working on this checker callback, but forgot
> about it. I have decided to finish it now. Original discussion:
> http:
Hi,
Once, long ago, I started working on this checker callback, but forgot
about it. I have decided to finish it now. Original discussion:
http://lists.llvm.org/pipermail/cfe-commits/Week-of-Mon-20131216/095565.html
The motivation was (pipermail doesn't seem to have my original mail, for
some rea
