diff options
| author | Dmitri Gribenko <gribozavr@gmail.com> | 2022-07-26 10:16:13 +0200 |
|---|---|---|
| committer | Dmitri Gribenko <gribozavr@gmail.com> | 2022-07-26 10:26:44 +0200 |
| commit | 3281138aad80fcefc7f266c7e3b2e359d5dbc8da (patch) | |
| tree | f80e2d4cc66c001c5e6a74809b4c69d45824b41c /llvm/tools/llvm-objdump/llvm-objdump.cpp | |
| parent | a618d5e0dd5d6fee5d73e823dbf8301663be0b4f (diff) | |
| download | llvm-3281138aad80fcefc7f266c7e3b2e359d5dbc8da.zip llvm-3281138aad80fcefc7f266c7e3b2e359d5dbc8da.tar.gz llvm-3281138aad80fcefc7f266c7e3b2e359d5dbc8da.tar.bz2 | |
[clang][dataflow] Fix SAT solver crashes on `X ^ X` and `X v X`
BooleanFormula::addClause has an invariant that a clause has no duplicated
literals. When the solver was desugaring a formula into CNF clauses, it
could construct a clause with such duplicated literals in two cases.
Reviewed By: sgatev, ymandel, xazax.hun
Differential Revision: https://reviews.llvm.org/D130522
Diffstat (limited to 'llvm/tools/llvm-objdump/llvm-objdump.cpp')
0 files changed, 0 insertions, 0 deletions