java:S131 reports false positive when combining labels

[javanegmond (Jeff)]

The project has indeed been analyzed recently (less than an hour ago).

If it has been fixed in newer versions of SQ I’ll try and apply some gentle pressure on the team that is responsible for updating our SQ instance.

SONARJAVA-4908 refers to type patterns, while my example uses an Enum. I cannot tell for certain if that case is also addressed in the referenced issue.

I was also looking at another issue with similar switch statements about rule Java:S1301.

Java 21 pattern matching false positives

ALM used: GitHub CI system used: GHA Languages used: Java 21 With the following code: sealed interface Animal permits Cat, Dog {} record Cat() implements Animal { } record Dog() implements Animal { } public static int getLives(Animal animal) { return switch (animal) { case Cat ignored -> 7; case Dog ignored -> 1; } } SonarCloud will complain that: java:S131 Add a default case for this switch. Thanks to sealed interfaces this pattern match is exhaustive and enforced…

Reports some issues with switch statements using type patterns, among which the aforementioned SONARJAVA-4908. Similarly to this issue SONARJAVA-4904 applies to Java:S1301 for type patterns. Perhaps in general Enum patterns were overlooked? Many of the same logic about exhaustiveness applies.