diff options
| author | Wei Yi Tee <wyt@google.com> | 2022-06-25 00:02:13 +0200 |
|---|---|---|
| committer | Dmitri Gribenko <gribozavr@gmail.com> | 2022-06-25 00:05:43 +0200 |
| commit | 42a7ddb428c999229491b0effbb1a4059149fba8 (patch) | |
| tree | 2e14efe1b7eea706b8770ff9643a11e842700a2c /llvm/tools/llvm-objdump/llvm-objdump.cpp | |
| parent | 349fee08d53734ea6530a56b931afdf026b5528c (diff) | |
| download | llvm-42a7ddb428c999229491b0effbb1a4059149fba8.zip llvm-42a7ddb428c999229491b0effbb1a4059149fba8.tar.gz llvm-42a7ddb428c999229491b0effbb1a4059149fba8.tar.bz2 | |
[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
Diffstat (limited to 'llvm/tools/llvm-objdump/llvm-objdump.cpp')
0 files changed, 0 insertions, 0 deletions