[cfe-dev] [EXTERNAL] Re: [analyzer] Rename SymbolRef to SymExprRef

Denis Petrov via cfe-dev cfe-dev at lists.llvm.org
Tue Oct 20 10:11:18 PDT 2020


Alright. I`ll make a patch and then we can discuss it.


I'm personally in favor of this. We have symbolic regions, values, expressions, so this rename would indeed have a benefit.

On Mon, 19 Oct 2020 at 16:56, Denis Petrov via cfe-dev <cfe-dev at lists.llvm.org<mailto:cfe-dev at lists.llvm.org>> wrote:
Hi, folk.

I found a declaration of SymbolRef confusing and embarrassing to percept the code easily, especially working along with SymbolVal and SVal. Every time it takes time to recall the correct aliasing in mind.

Now:
using SymbolRef = const SymExpr *;
Propose to:
using SymExprRef = const SymExpr *;

Please, share your thoughts.
________________________________
Denys Petrov
Senior ะก++ Developer | Kharkiv, Ukraine

_______________________________________________
cfe-dev mailing list
cfe-dev at lists.llvm.org<mailto:cfe-dev at lists.llvm.org>
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20201020/4a90fb04/attachment-0001.html>


More information about the cfe-dev mailing list