[all-commits] [llvm/llvm-project] 3085bd: [analyzer][solver] Fix infeasible constraints (PR4...

[Valeriy Savchenko via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3085bda2b348f6a8b4e0bd1d230af4e9c900c9c4
      https://github.com/llvm/llvm-project/commit/3085bda2b348f6a8b4e0bd1d230af4e9c900c9c4
  Author: Valeriy Savchenko <vsavchenko at apple.com>
  Date:   2021-03-22 (Mon, 22 Mar 2021)

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

  Log Message:
  -----------
  [analyzer][solver] Fix infeasible constraints (PR49642)

Additionally, this patch puts an assertion checking for feasible
constraints in every place where constraints are assigned to states.

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