[cfe-dev] ConstraintManager: any restriction

[YuvalShahar]

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.