Searched refs:TrueTag (Results 1 – 1 of 1) sorted by relevance
3861 static SimpleProgramPointTag TrueTag(TagProviderName, "Eagerly Assume True"), in getEagerlyAssumeBifurcationTags() local3864 return std::make_pair(&TrueTag, &FalseTag); in getEagerlyAssumeBifurcationTags()3892 const auto &[TrueTag, FalseTag] = getEagerlyAssumeBifurcationTags(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()3905 Bldr.generateNode(Ex, Pred, StateTrue, TrueTag); in REGISTER_TRAIT_WITH_PROGRAMSTATE()