diff options
| author | Kazu Hirata <kazu@google.com> | 2023-03-15 18:06:34 -0700 |
|---|---|---|
| committer | Kazu Hirata <kazu@google.com> | 2023-03-15 18:06:34 -0700 |
| commit | 7eaa7b055389799643cd6c2e992985f71de73ee5 (patch) | |
| tree | f852a289b0c24ecad0745151a3ef87f2e4f4b538 /clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp | |
| parent | 398af9b43bbfbff291faac5bce524eca675d6caf (diff) | |
| download | llvm-7eaa7b055389799643cd6c2e992985f71de73ee5.zip llvm-7eaa7b055389799643cd6c2e992985f71de73ee5.tar.gz llvm-7eaa7b055389799643cd6c2e992985f71de73ee5.tar.bz2 | |
[clang] Use *{Map,Set}::contains (NFC)
Diffstat (limited to 'clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp')
| -rw-r--r-- | clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp b/clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp index 480606b..4405324 100644 --- a/clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp +++ b/clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp @@ -316,10 +316,9 @@ BoolValue &DataflowAnalysisContext::substituteBoolValue( BoolValue &DataflowAnalysisContext::buildAndSubstituteFlowCondition( AtomicBoolValue &Token, llvm::DenseMap<AtomicBoolValue *, BoolValue *> Substitutions) { - assert( - Substitutions.find(&getBoolLiteralValue(true)) == Substitutions.end() && - Substitutions.find(&getBoolLiteralValue(false)) == Substitutions.end() && - "Do not substitute true/false boolean literals"); + assert(!Substitutions.contains(&getBoolLiteralValue(true)) && + !Substitutions.contains(&getBoolLiteralValue(false)) && + "Do not substitute true/false boolean literals"); llvm::DenseMap<BoolValue *, BoolValue *> SubstitutionsCache( Substitutions.begin(), Substitutions.end()); return buildAndSubstituteFlowConditionWithCache(Token, SubstitutionsCache); |