<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Have you tried using evalAssume? (<a href="http://clang.llvm.org/doxygen/classento_1_1CheckerDocumentation.html">http://clang.llvm.org/doxygen/classento_1_1CheckerDocumentation.html</a>). <div><br></div><div>What are you trying to do? Maybe there are better ways of doing it..<div><br></div><div>Anna.</div><div><br><div><div>On Apr 10, 2013, at 6:19 AM, YuvalShahar <<a href="mailto:yuval.shahar.007@gmail.com">yuval.shahar.007@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">I am trying to figure out whether an SVal was tested before it's being used.<br>Visiting branch conditions could do (but could also be complex, because not<br>all SVals in a condition are actually being tested).<br><br>I wonder if I could consult the constraint manager to tell if an SVal is<br>restricted in any way (i.e., it was tested even though we don't know what<br>the result of the test means).<br><br>Is there any reading material (apart from the isNull() example in the 24hr<br>presentation) about the ConstraintManager?<br><br>Thanks, Yuval.<br><br><br><br><br>--<br>View this message in context:<span class="Apple-converted-space"> </span><a href="http://clang-developers.42468.n3.nabble.com/ConstraintManager-any-restriction-tp4031418.html">http://clang-developers.42468.n3.nabble.com/ConstraintManager-any-restriction-tp4031418.html</a><br>Sent from the Clang Developers mailing list archive at<span class="Apple-converted-space"> </span><a href="http://nabble.com/">Nabble.com</a>.<br>_______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a></div></blockquote></div><br></div></div></body></html>