[cfe-dev] ConstraintManager: any restriction

Anna Zaks 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..

Anna.

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
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130410/b38a6af6/attachment.html>


More information about the cfe-dev mailing list