[cfe-dev] ConstraintManager: any restriction
ganna at apple.com
Wed Apr 10 10:31:00 PDT 2013
Have you tried using evalAssume? (http://clang.llvm.org/doxygen/classento_1_1CheckerDocumentation.html).
What are you trying to do? Maybe there are better ways of doing it..
On Apr 10, 2013, at 6:19 AM, YuvalShahar <yuval.shahar.007 at gmail.com> wrote:
> I am trying to figure out whether an SVal was tested before it's being used.
> Visiting branch conditions could do (but could also be complex, because not
> all SVals in a condition are actually being tested).
> I wonder if I could consult the constraint manager to tell if an SVal is
> restricted in any way (i.e., it was tested even though we don't know what
> the result of the test means).
> Is there any reading material (apart from the isNull() example in the 24hr
> presentation) about the ConstraintManager?
> Thanks, Yuval.
> View this message in context: http://clang-developers.42468.n3.nabble.com/ConstraintManager-any-restriction-tp4031418.html
> Sent from the Clang Developers mailing list archive at Nabble.com.
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev