Home
last modified time | relevance | path

Searched refs:IsSet1 (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysisTest.cpp344 auto *IsSet1 = cast_or_null<BoolValue>(Val1.getProperty("is_set")); in compareEquivalent() local
345 if (IsSet1 == nullptr) in compareEquivalent()
352 return Env1.flowConditionImplies(*IsSet1) == in compareEquivalent()
365 auto *IsSet1 = cast_or_null<BoolValue>(Val1.getProperty("is_set")); in merge() local
366 if (IsSet1 == nullptr) in merge()
375 if (Env1.flowConditionImplies(*IsSet1) && in merge()