[PATCH] D86223: [analyzer][z3] Use more elaborate z3 variable names in debug build

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

In D86223#2226630 <https://reviews.llvm.org/D86223#2226630>, @xazax.hun wrote:

> I wonder whether having a virtual method for symbols to get the prefix would be cleaner (something like getKindCStr), but I do not insist.

Are you implying to have something like:

  virtual SmallString<8> clang::ento::SymbolData::getKindStr() const;

BTW probably we could make use of this in the `SymbolData` dump method family.

Or do you want to lift this function to the `SymExpr` class?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D86223/new/

https://reviews.llvm.org/D86223