Lines Matching refs:substituteBoolValue
231 BoolValue &DataflowAnalysisContext::substituteBoolValue( in substituteBoolValue() function in clang::dataflow::DataflowAnalysisContext
250 auto &Sub = substituteBoolValue(Negation.getSubVal(), SubstitutionsCache); in substituteBoolValue()
257 substituteBoolValue(Disjunct.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()
259 substituteBoolValue(Disjunct.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
266 substituteBoolValue(Conjunct.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()
268 substituteBoolValue(Conjunct.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
275 substituteBoolValue(IV.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()
277 substituteBoolValue(IV.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
284 substituteBoolValue(BV.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()
286 substituteBoolValue(BV.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
324 return substituteBoolValue(*ConstraintsIt->second, SubstitutionsCache); in buildAndSubstituteFlowConditionWithCache()