Author: martinboehme Date: 2024-01-18T08:58:47+01:00 New Revision: 1b1b5251479c42c793b14fb9588545f9619b85d6
URL: https://github.com/llvm/llvm-project/commit/1b1b5251479c42c793b14fb9588545f9619b85d6 DIFF: https://github.com/llvm/llvm-project/commit/1b1b5251479c42c793b14fb9588545f9619b85d6.diff LOG: [clang][dataflow] Use `Formula::isLiteral()` in a couple more places. (#78404) Added: Modified: clang/lib/Analysis/FlowSensitive/SimplifyConstraints.cpp Removed: ################################################################################ diff --git a/clang/lib/Analysis/FlowSensitive/SimplifyConstraints.cpp b/clang/lib/Analysis/FlowSensitive/SimplifyConstraints.cpp index 00a3104a57b6ba3..cc20202768b9275 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; } _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
