[all-commits] [llvm/llvm-project] 6017cb: [analyzer][solver] Use all sources of constraints

[Valeriy Savchenko via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6017cb31bb3548641465ea66219e11abc3106d38
      https://github.com/llvm/llvm-project/commit/6017cb31bb3548641465ea66219e11abc3106d38
  Author: Valeriy Savchenko <vsavchenko at apple.com>
  Date:   2021-07-06 (Tue, 06 Jul 2021)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
    M clang/test/Analysis/constant-folding.c

  Log Message:
  -----------
  [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