diff options
| author | Dominic Chen <d.c.ddcc@gmail.com> | 2016-12-01 17:06:39 +0000 |
|---|---|---|
| committer | Dominic Chen <d.c.ddcc@gmail.com> | 2016-12-01 17:06:39 +0000 |
| commit | 1a154e082c94af8885e909f36e91d82ec657b403 (patch) | |
| tree | 42d5c5c24dab898b5ef83907c32a6d1c210942be /clang/test/Analysis/null-deref-ps.c | |
| parent | e59a8351d0705c084d53036bf0e8b79a67289739 (diff) | |
| download | bcm5719-llvm-1a154e082c94af8885e909f36e91d82ec657b403.tar.gz bcm5719-llvm-1a154e082c94af8885e909f36e91d82ec657b403.zip | |
[analyzer] Drop explicit mention of range constraint solver
Summary: The basic constraint solver was dropped in rL162384, leaving the range constraint solver as the default and only constraint solver. Explicitly specifying it is unnecessary, and makes it difficult to test with other solver backends.
Reviewers: zaks.anna, dcoughlin
Subscribers: cfe-commits
Differential Revision: https://reviews.llvm.org/D26694
llvm-svn: 288372
Diffstat (limited to 'clang/test/Analysis/null-deref-ps.c')
| -rw-r--r-- | clang/test/Analysis/null-deref-ps.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/test/Analysis/null-deref-ps.c b/clang/test/Analysis/null-deref-ps.c index 79b3b3a5758..b0d2292547f 100644 --- a/clang/test/Analysis/null-deref-ps.c +++ b/clang/test/Analysis/null-deref-ps.c @@ -1,5 +1,5 @@ -// RUN: %clang_cc1 -triple i386-apple-darwin10 -analyze -analyzer-checker=core,deadcode,alpha.core -std=gnu99 -analyzer-store=region -analyzer-constraints=range -analyzer-purge=none -verify %s -Wno-error=return-type -// RUN: %clang_cc1 -triple i386-apple-darwin10 -analyze -analyzer-checker=core,deadcode,alpha.core -std=gnu99 -analyzer-store=region -analyzer-constraints=range -verify %s -Wno-error=return-type +// RUN: %clang_cc1 -triple i386-apple-darwin10 -analyze -analyzer-checker=core,deadcode,alpha.core -std=gnu99 -analyzer-store=region -analyzer-purge=none -verify %s -Wno-error=return-type +// RUN: %clang_cc1 -triple i386-apple-darwin10 -analyze -analyzer-checker=core,deadcode,alpha.core -std=gnu99 -analyzer-store=region -verify %s -Wno-error=return-type typedef unsigned uintptr_t; |
