[analyzer] Drop explicit mention of range constraint solver
authorDominic Chen <d.c.ddcc@gmail.com>
Thu, 1 Dec 2016 17:06:39 +0000 (17:06 +0000)
committerDominic Chen <d.c.ddcc@gmail.com>
Thu, 1 Dec 2016 17:06:39 +0000 (17:06 +0000)
commit1a154e082c94af8885e909f36e91d82ec657b403
tree42d5c5c24dab898b5ef83907c32a6d1c210942be
parente59a8351d0705c084d53036bf0e8b79a67289739
[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
32 files changed:
clang/test/Analysis/CFDateGC.m
clang/test/Analysis/CFNumber.c
clang/test/Analysis/CFRetainRelease_NSAssertionHandler.m
clang/test/Analysis/CGColorSpace.c
clang/test/Analysis/CheckNSError.m
clang/test/Analysis/NSPanel.m
clang/test/Analysis/NSString.m
clang/test/Analysis/NSWindow.m
clang/test/Analysis/ObjCProperties.m
clang/test/Analysis/PR2599.m
clang/test/Analysis/PR3991.m
clang/test/Analysis/additive-folding-range-constraints.c
clang/test/Analysis/additive-folding.cpp
clang/test/Analysis/array-struct-region.c
clang/test/Analysis/array-struct.c
clang/test/Analysis/cfref_PR2519.c
clang/test/Analysis/cfref_rdar6080742.c
clang/test/Analysis/comparison-implicit-casts.cpp
clang/test/Analysis/complex.c
clang/test/Analysis/dead-stores.c
clang/test/Analysis/dead-stores.cpp
clang/test/Analysis/misc-ps-64.m
clang/test/Analysis/misc-ps-eager-assume.m
clang/test/Analysis/misc-ps-ranges.m
clang/test/Analysis/misc-ps.m
clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret-region.m
clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret.m
clang/test/Analysis/null-deref-ps.c
clang/test/Analysis/rdar-6562655.m
clang/test/Analysis/rdar-6600344-nil-receiver-undefined-struct-ret.m
clang/test/Analysis/reference.cpp
clang/test/Analysis/unions-region.m