This revision was automatically updated to reflect the committed changes.
Closed by commit rL288372: [analyzer] Drop explicit mention of range constraint
solver (authored by ddcc).
Changed prior to commit:
https://reviews.llvm.org/D26694?vs=78060=79924#toc
Repository:
rL LLVM
NoQ added a comment.
Approve! And probably `-analyzer-store=region` is worth dropping as well
eventually.
https://reviews.llvm.org/D26694
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
zaks.anna accepted this revision.
zaks.anna added a comment.
This revision is now accepted and ready to land.
Awesome!!! Thanks for the cleanup!
https://reviews.llvm.org/D26694
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
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
