[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#2227353 <https://reviews.llvm.org/D86223#2227353>, @steakhal wrote:

> Eh, I'm not sure if it worth it to put these into virtual functions - as conditionally overriding functions is not really a good idea.

I am not sure I follow. What do you mean by conditionally overriding? What is the condition?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86223