[PATCH] D45517: [analyzer] False positive refutation with Z3

[Mikhail Ramalho via Phabricator via cfe-commits]

mikhail.ramalho added inline comments.


================
Comment at: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp:2366
+
+  SMTConstraintManager *SMTRefutationMgr =
+      static_cast<SMTConstraintManager*>(RefutationMgr.get());
----------------
I'm not happy about this cast. Suggestions are welcome.


https://reviews.llvm.org/D45517