exhaustive switch expression is not fully covered

[eortega-pjr]

I apologize if the terminology is incorrect. I wasn't getting full coverage on our fully-defined and exercised switch-expressions after upgrading to jacoco-8.11.0.

I extended the original example here: #1472

---

• JaCoCo version: 0.8.11.202310140853
• Operating system: Linux
• Tool integration: none/javac

java version "21.0.1" 2023-10-17 LTS
Java(TM) SE Runtime Environment (build 21.0.1+12-LTS-29)
Java HotSpot(TM) 64-Bit Server VM (build 21.0.1+12-LTS-29, mixed mode, sharing)

• Complete executable reproducer:

enum Example {
    A, B;

    static void example(Example e) {
        switch (e) {
            case A -> {
                int i = 4;
            }
            case B -> {
                int i = 4;
            }
        }
    }

    public static void main(String[] args) {
        example(A);
        example(B);
    }
}

• Steps: (what exactly are you doing with the above reproducer?)

javac Example.java -d classes
java -javaagent:jacocoagent.jar -cp classes Example
java -jar jacococli.jar report jacoco.exec --classfiles classes --sourcefiles . --html report

Expected behaviour

Full branch coverage

Actual behaviour

Thanks.

[Godin]

This

switch (e) {
	 case A -> {
	 	 int i = 4;
	}
	 case B -> {
	 	 int i = 4;
	}
}

is switch statement and not switch expression. As proof - try to add a new constant to enum and you'll see that the compiler will not complain that switch is not exhaustive.

Duplicates #1531

[eortega-pjr]

oh wow

Thanks for the quick response @Godin!