Incorrect result when an empty bitset intersects with itself

[notify-bibi]

📝 Overall Description

assert check failed

🎯 Expected Behavior

  public void testSizedEmptyBitVectorDontIntersectsItself() {
    BitVector a = new BitVector(1024);
    assertFalse(a.intersects(a));
  }

🐛 Current Behavior

    @Override
    public boolean intersects(IBitSet set) {
        if (this.isEmpty() || set.isEmpty()) { // added empty check
            return false;
        }
        if (this == set) {
            return true;
        }
        if (!(set instanceof SparseBitSet)) {
            return super.intersects(set);
        }
        SparseBitSet other = (SparseBitSet) set;
        return iterateBlocks(this, other, new IntersectsAction(this));
    }

🔄 Reproducible Example

No response

⚙️ Tai-e Arguments

🔍 Click here to see Tai-e Options

{{The content of 'output/options.yml' file}}

🔍 Click here to see Tai-e Analysis Plan

{{The content of 'output/tai-e-plan.yml' file}}

📜 Tai-e Log

🔍 Click here to see Tai-e Log

{{The content of 'output/tai-e.log' file}}

ℹ️ Additional Information

No response

[notify-bibi]

check also this api: public boolean SparseBitSet#contains(IBitSet set)

[zhangt2333]

Thanks for writing this issue in Chinese, it makes it very easy for a few of us developers to read. However, Tai-e is a project with an international focus, and we aim to keep our community discussions in as widely accessible a language as possible, which is English. This helps us share our open-source progress with interested individuals from all over the world. Kindly consider using English for communication in the future. We appreciate your understanding. Thank you.

---

It seems that there is no class named BitVector in Tai-e. Please verify that you're submitting the issue to the correct project.

[notify-bibi]

The intersects method in src/main/java/pascal/taie/util/collection/SparseBitSet.java

[zhangt2333]

Fixed by 9eb966e.Thanks. ♥️