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

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov added inline comments.


================
Comment at: test/Analysis/z3-crosscheck.c:2
+// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.Malloc,debug.ExprInspection -analyzer-config crosscheck-with-z3=true -verify %s
+// REQUIRES: z3
+// expected-no-diagnostics
----------------
Could we also have a second RUN line without Z3, and then use ifdef's to differentiate between the two in tests?


https://reviews.llvm.org/D45517