void LocationSetTest::testContainsImplicit()
{
    LocationSet set;
    QVERIFY(!set.containsImplicit(nullptr));

    set.insert(Location::regOf(REG_PENT_ESI));
    QVERIFY(!set.containsImplicit(Location::regOf(REG_PENT_ESI)));
    QVERIFY(!set.containsImplicit(Location::regOf(REG_PENT_EDI)));

    set.insert(RefExp::get(Location::regOf(REG_PENT_EDI), nullptr));
    QVERIFY(set.containsImplicit(Location::regOf(REG_PENT_EDI)));
    QVERIFY(!set.containsImplicit(Location::regOf(REG_PENT_ESI)));
}