Method intersectWithComplement

svf/lib/MemoryModel/PointsTo.cpp:286–296

}

bool PointsTo::intersectWithComplement(const PointsTo &rhs)
{
    assert(metaSame(rhs) && "PointsTo::intersectWithComplement: mappings of operands do not match!");

    if (type == CBV) return cbv.intersectWithComplement(rhs.cbv);
    else if (type == SBV) return sbv.intersectWithComplement(rhs.sbv);
    else if (type == BV) return bv.intersectWithComplement(rhs.bv);

    assert(false && "PointsTo::intersectWithComplement(PT): unknown type");
    abort();
}

void PointsTo::intersectWithComplement(const PointsTo &lhs, const PointsTo &rhs)
{