[cfe-commits] [PATCH] Rename
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