<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">This is partially described in "Representing Values" section of <a href="http://clang-analyzer.llvm.org/checker_dev_manual.html">http://clang-analyzer.llvm.org/checker_dev_manual.html</a> <div><br></div><div>We could extend it with the missing info (looks like UnknownVal is missing).</div><div><br></div><div>Anna.<br><div><div>On Dec 19, 2012, at 11:26 AM, Dmitri Gribenko wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>On Wed, Dec 19, 2012 at 8:03 PM, Ted Kremenek <<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>> wrote:<br><blockquote type="cite">SVals are value objects. [...]<br></blockquote><br>Hello Ted,<br><br>This is a great explanation!<br><br>Could you put it somewhere in clang/docs/analyzer?<br><br>Dmitri<br><br>-- <br>main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if<br>(j){printf("%d\n",i);}}} /*Dmitri Gribenko <<a href="mailto:gribozavr@gmail.com">gribozavr@gmail.com</a>>*/<br>_______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev<br></div></blockquote></div><br></div></body></html>