Changes

Summary

  1. [analyzer][solver] Use all sources of constraints (details)
Commit 6017cb31bb3548641465ea66219e11abc3106d38 by vsavchenko
[analyzer][solver] Use all sources of constraints

Prior to this patch, we always gave priority to constraints that we
actually know about symbols in question.  However, these can get
outdated and we can get better results if we look at all possible
sources of knowledge, including sub-expressions.

Differential Revision: https://reviews.llvm.org/D105436
The file was modifiedclang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
The file was modifiedclang/test/Analysis/constant-folding.c