[cfe-commits] [PATCH] Rename

Zhongxing Xu xuzhongxing at gmail.com
Thu Oct 16 22:38:46 PDT 2008

On Fri, Oct 17, 2008 at 1:34 PM, Ted Kremenek <kremenek at apple.com> wrote:

> On Oct 16, 2008, at 10:31 PM, Zhongxing Xu wrote:
>  Yeah, it seems a little confusing. But other names are worse:
>> AbstractVal, too long
>> AVal, like nonsense.
>> ProgVal, even farther way.
> Yeah I agree.  I also thought of "SymVal" for symbolic value, but that
> conflates with our use of symbols.  I also thought of SemVal, for "semantic"
> value.  This one is kind of nice because it reflects that we are reasoning
> about "semantics" as opposed to "syntax".

What about "SVal"? "S" can represent many meanings: semantic value, symbolic
value, static-analysis value. And it's shorter.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081017/2d6395dd/attachment.html>

More information about the cfe-commits mailing list