[cfe-dev] [analyzer] gdb pretty printers for analyzer specific types

Bal√°zs Benics via cfe-dev cfe-dev at lists.llvm.org
Wed Aug 5 10:40:49 PDT 2020


I was thinking about some pretty printers.
And I'm thinking about SVals and SymExprs specifically.

Why do we have no pretty printers for such types?

I guess we could reuse their dump() method to acquire string representation.
The only problem is that that dumps the output to the *standard error
stream*.

What options do I have to get a python pretty-printer using this dump
method?

Another possible way to implement such a pretty printer is to hardcode the
SVal
kinds in python to do the right thing for each case.
I'm not really a big fan of this way though.

If you have experience with gdb pretty printers then your comments more
then welcomed.

Balazs.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20200805/3387dd17/attachment.html>


More information about the cfe-dev mailing list