[all-commits] [llvm/llvm-project] 6dc152: [analyzer][solver] Prevent infeasible states (PR49...

[Valeriy Savchenko via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6dc152350824d0abcf4e1836c2846f8f9256779c
      https://github.com/llvm/llvm-project/commit/6dc152350824d0abcf4e1836c2846f8f9256779c
  Author: Valeriy Savchenko <vsavchenko at apple.com>
  Date:   2021-03-12 (Fri, 12 Mar 2021)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
    A clang/test/Analysis/PR49490.cpp

  Log Message:
  -----------
  [analyzer][solver] Prevent infeasible states (PR49490)

This patch fixes the situation when our knowledge of disequalities
can help us figuring out that some assumption is infeasible, but
the solver still produces a state with inconsistent constraints.

Additionally, this patch adds a couple of assertions to catch this
type of problems easier.

Differential Revision: https://reviews.llvm.org/D98341