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

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

In D86223#2228855 <https://reviews.llvm.org/D86223#2228855>, @steakhal wrote:

> I wanted to conditionally, aka. in debug configuration override the base implementation of the SymbolData::getKindStr

I see. Yeah, that does not make much sense. I was thinking about always overriding the methods but call them conditionally.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86223