Partial branch coverage being shown on exhaustive switch expressions

[rishabharoraa]

Steps to reproduce

• JaCoCo version: 0.8.11
• Operating system: MacOS Ventura Version 13.5
• Tool integration: CLI
• Steps:

File I used SwitchExpressionTarget.java

public class SwitchExpressionTarget {

	private enum E {
	        ZERO, ONE;
	}

	private static int target(E e) {
                int a = -1;
		switch (e) {
			case ZERO -> a = 0;
			case ONE -> a = 1;
		};
                return a;
	}

	public static void main(String[] args) {
		target(E.ZERO);
		target(E.ONE);
	}

}

By doing:

$ java -version
openjdk version "17.0.7" 2023-04-18 LTS
OpenJDK Runtime Environment (build 17.0.7+7-LTS)
OpenJDK 64-Bit Server VM (build 17.0.7+7-LTS, mixed mode, sharing)

$ javac SwitchExpressionTarget.java

$ java -javaagent:jacoco-0.8.11/lib/jacocoagent.jar SwitchExpressionTarget 

$ java -jar jacoco-0.8.11/lib/jacococli.jar \                              
    report jacoco.exec \
    --classfiles SwitchExpressionTarget.class \
    --sourcefiles . \
    --html report

Expected behaviour

The report must show full coverage

Actual behaviour

The report shows 1 missed branch

[Godin]

This

	private static int target(E e) {
                int a = -1;
		switch (e) {
			case ZERO -> a = 0;
			case ONE -> a = 1;
		};
                return a;
	}

is switch statement and not switch expression.

Exhaustive switch expression is

        private static int target(E e) {
                int a = switch (e) {
                        case ZERO -> 0;
                        case ONE -> 1;
                };
                return a;
        }