From 00355a51d083cf3699de931d4cbbad0f8d5aafd5 Mon Sep 17 00:00:00 2001 From: Dominic Chen Date: Tue, 28 Feb 2017 01:50:23 +0000 Subject: Revert "Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers" This reverts commit 1b28d0b10e1c8feccb971abb6ef7a18bee589830. llvm-svn: 296422 --- clang/test/Analysis/test-after-div-zero.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'clang/test/Analysis/test-after-div-zero.c') diff --git a/clang/test/Analysis/test-after-div-zero.c b/clang/test/Analysis/test-after-div-zero.c index 159c80c11d8..f34c4f7a366 100644 --- a/clang/test/Analysis/test-after-div-zero.c +++ b/clang/test/Analysis/test-after-div-zero.c @@ -1,5 +1,5 @@ -// RUN: %clang_analyze_cc1 -std=c99 -Dbool=_Bool -analyzer-checker=core,alpha.core.TestAfterDivZero -analyzer-output=text -verify %s -// RUN: %clang_analyze_cc1 -x c++ -analyzer-checker=core,alpha.core.TestAfterDivZero -analyzer-output=text -verify %s +// RUN: %clang_cc1 -std=c99 -Dbool=_Bool -analyze -analyzer-checker=core,alpha.core.TestAfterDivZero -analyzer-output=text -verify %s +// RUN: %clang_cc1 -x c++ -analyze -analyzer-checker=core,alpha.core.TestAfterDivZero -analyzer-output=text -verify %s int var; -- cgit v1.2.3