Searched refs:BitsetLub (Results 1 – 4 of 4) sorted by relevance
122 return glb | AST_REPRESENTATION(type->BitsetLub()); in Glb()135 int bitset = type->AsUnion()->Get(0)->BitsetLub(); in Lub()138 bitset |= AST_SEMANTIC(type->AsUnion()->Get(i)->BitsetLub()); in Lub()498 return AST_REPRESENTATION(this->BitsetLub()); in Representation()507 return AstBitsetType::Is(this->BitsetLub(), that->AsBitset()); in SlowIs()532 return AstBitsetType::Is(AST_SEMANTIC(this->BitsetLub()), that->AsBitset()); in SemanticIs()616 if (!AstBitsetType::IsInhabited(this->BitsetLub() & that->BitsetLub())) in Maybe()641 if (!AstBitsetType::SemanticIsInhabited(this->BitsetLub() & in SemanticMaybe()642 that->BitsetLub())) in SemanticMaybe()855 if (!AstBitsetType::SemanticIsInhabited(lhs->BitsetLub() & in IntersectAux()[all …]
797 bool IsInhabited() { return AstBitsetType::IsInhabited(this->BitsetLub()); } in IsInhabited()929 bitset BitsetLub() { return AstBitsetType::Lub(this); } in BitsetLub() function
132 int bitset = type->AsUnion()->Get(0)->BitsetLub(); in Lub()135 bitset |= type->AsUnion()->Get(i)->BitsetLub(); in Lub()508 return BitsetType::Is(this->BitsetLub(), that->AsBitset()); in SlowIs()544 if (!BitsetType::IsInhabited(this->BitsetLub() & that->BitsetLub())) in Maybe()742 if (!BitsetType::IsInhabited(lhs->BitsetLub() & rhs->BitsetLub())) { in IntersectAux()791 bitset range_lub = range->BitsetLub(); in NormalizeRangeAndBitset()
569 bool IsInhabited() { return BitsetType::IsInhabited(this->BitsetLub()); } in IsInhabited()644 bitset BitsetLub() { return BitsetType::Lub(this); } in BitsetLub() function