[cfe-dev] SymbolRef and SVal confusion

[Dmitri Gribenko]

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>*/