[cfe-dev] SymbolRef and SVal confusion

Anna Zaks ganna at apple.com
Wed Dec 19 11:41:21 PST 2012


This is partially described in "Representing Values" section of http://clang-analyzer.llvm.org/checker_dev_manual.html 

We could extend it with the missing info (looks like UnknownVal is missing).

Anna.
On Dec 19, 2012, at 11:26 AM, Dmitri Gribenko wrote:

> On Wed, Dec 19, 2012 at 8:03 PM, Ted Kremenek <kremenek at apple.com> wrote:
>> SVals are value objects.  [...]
> 
> Hello Ted,
> 
> This is a great explanation!
> 
> Could you put it somewhere in clang/docs/analyzer?
> 
> Dmitri
> 
> -- 
> main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
> (j){printf("%d\n",i);}}} /*Dmitri Gribenko <gribozavr at gmail.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/20121219/d85c6d48/attachment.html>


More information about the cfe-dev mailing list