From a7d25d5934409cdf5ef00b10cb3216bc338a88e2 Mon Sep 17 00:00:00 2001
From: Vlad Tsyrklevich <vlad@tsyrklevich.net>
Date: Wed, 6 Jun 2018 06:25:51 +0000
Subject: [Analyzer][Z3] Test fixes for Z3 constraint manager

Summary:
Since Z3 tests have been not been running [1] some tests needed to be
updated. I also added a regression test for [1].

[1] https://reviews.llvm.org/D47722

Reviewers: george.karpenkov, NoQ, ddcc

Reviewed By: george.karpenkov

Subscribers: mikhail.ramalho, dcoughlin, xazax.hun, szepet, zzheng, a.sidorin, cfe-commits

Differential Revision: https://reviews.llvm.org/D47726

llvm-svn: 334067
---
 clang/test/Analysis/z3/enabled.c | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 clang/test/Analysis/z3/enabled.c

(limited to 'clang/test/Analysis/z3/enabled.c')

diff --git a/clang/test/Analysis/z3/enabled.c b/clang/test/Analysis/z3/enabled.c
new file mode 100644
index 00000000000..9f44233b266
--- /dev/null
+++ b/clang/test/Analysis/z3/enabled.c
@@ -0,0 +1,3 @@
+// REQUIRES: z3
+// RUN: echo %clang_analyze_cc1 | FileCheck %s
+// CHECK: -analyzer-constraints=z3
-- 
cgit v1.2.3