[PATCH] D26694: [analyzer] Drop explicit mention of range constraint solver

[Dominic Chen via cfe-commits]

ddcc created this revision.
ddcc added reviewers: zaks.anna, dcoughlin.
ddcc added a subscriber: cfe-commits.

The basic constraint solver was dropped in https://reviews.llvm.org/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.


https://reviews.llvm.org/D26694

Files:
  test/Analysis/CFDateGC.m
  test/Analysis/CFNumber.c
  test/Analysis/CFRetainRelease_NSAssertionHandler.m
  test/Analysis/CGColorSpace.c
  test/Analysis/CheckNSError.m
  test/Analysis/NSPanel.m
  test/Analysis/NSString.m
  test/Analysis/NSWindow.m
  test/Analysis/ObjCProperties.m
  test/Analysis/PR2599.m
  test/Analysis/PR3991.m
  test/Analysis/additive-folding-range-constraints.c
  test/Analysis/additive-folding.cpp
  test/Analysis/array-struct-region.c
  test/Analysis/array-struct.c
  test/Analysis/cfref_PR2519.c
  test/Analysis/cfref_rdar6080742.c
  test/Analysis/comparison-implicit-casts.cpp
  test/Analysis/complex.c
  test/Analysis/dead-stores.c
  test/Analysis/dead-stores.cpp
  test/Analysis/misc-ps-64.m
  test/Analysis/misc-ps-eager-assume.m
  test/Analysis/misc-ps-ranges.m
  test/Analysis/misc-ps.m
  test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret-region.m
  test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret.m
  test/Analysis/null-deref-ps.c
  test/Analysis/rdar-6562655.m
  test/Analysis/rdar-6600344-nil-receiver-undefined-struct-ret.m
  test/Analysis/reference.cpp
  test/Analysis/unions-region.m

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D26694.78060.patch
Type: text/x-patch
Size: 22396 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20161115/3a19239e/attachment-0001.bin>