[all-commits] [llvm/llvm-project] 42a7dd: [clang][dataflow] Refactor function that queries t...

[weiyi via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 42a7ddb428c999229491b0effbb1a4059149fba8
      https://github.com/llvm/llvm-project/commit/42a7ddb428c999229491b0effbb1a4059149fba8
  Author: Wei Yi Tee <wyt at google.com>
  Date:   2022-06-25 (Sat, 25 Jun 2022)

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h
    M clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp

  Log Message:
  -----------
  [clang][dataflow] Refactor function that queries the solver for satisfiability checking.

Given a set of `Constraints`, `querySolver` adds common background information across queries (`TrueVal` is always true and `FalseVal` is always false) and passes the query to the solver.

`checkUnsatisfiable` is a simple wrapper around `querySolver` for checking that the solver returns an unsatisfiable result.

Depends On D128519

Reviewed By: gribozavr2, xazax.hun

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