[cfe-commits] [PATCH] Rename

Ted Kremenek kremenek at apple.com
Thu Oct 16 22:34:54 PDT 2008

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".

More information about the cfe-commits mailing list