diff options
| author | martinboehme <mboehme@google.com> | 2024-01-18 08:58:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-18 08:58:47 +0100 |
| commit | 1b1b5251479c42c793b14fb9588545f9619b85d6 (patch) | |
| tree | e0f2e62eb4fc123a090b671e993ffa3e14f7f697 | |
| parent | 264fd9e13e6006378b2d1de2851b39eec8e98225 (diff) | |
| download | llvm-1b1b5251479c42c793b14fb9588545f9619b85d6.zip llvm-1b1b5251479c42c793b14fb9588545f9619b85d6.tar.gz llvm-1b1b5251479c42c793b14fb9588545f9619b85d6.tar.bz2 | |
[clang][dataflow] Use `Formula::isLiteral()` in a couple more places. (#78404)
| -rw-r--r-- | clang/lib/Analysis/FlowSensitive/SimplifyConstraints.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/FlowSensitive/SimplifyConstraints.cpp b/clang/lib/Analysis/FlowSensitive/SimplifyConstraints.cpp index 00a3104..cc20202 100644 --- a/clang/lib/Analysis/FlowSensitive/SimplifyConstraints.cpp +++ b/clang/lib/Analysis/FlowSensitive/SimplifyConstraints.cpp @@ -131,9 +131,9 @@ void simplifyConstraints(llvm::SetVector<const Formula *> &Constraints, for (const auto *Constraint : Constraints) { const Formula &NewConstraint = substitute(*Constraint, Substitutions, arena); - if (&NewConstraint == &arena.makeLiteral(true)) + if (NewConstraint.isLiteral(true)) continue; - if (&NewConstraint == &arena.makeLiteral(false)) { + if (NewConstraint.isLiteral(false)) { contradiction(); return; } |