Searched refs:IsSet2 (Results 1 – 1 of 1) sorted by relevance
348 auto *IsSet2 = cast_or_null<BoolValue>(Val2.getProperty("is_set")); in compareEquivalent() local349 if (IsSet2 == nullptr) in compareEquivalent()353 Env2.flowConditionImplies(*IsSet2); in compareEquivalent()369 auto *IsSet2 = cast_or_null<BoolValue>(Val2.getProperty("is_set")); in merge() local370 if (IsSet2 == nullptr) in merge()376 Env2.flowConditionImplies(*IsSet2)) in merge()