[cfe-dev] [StaticAnalyzer] Loc and NonLoc SVal

[Paul Bert via cfe-dev]

Hi,
I understand that a SVAL is a kind of union wrapping a symbolic value , a
mem region or a concrete value.  However I don't really understand the
meaning of Loc and NonLoc sub classes.
Can someone explain their purposes?

Thanks

Paul
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20170601/f127628f/attachment.html>