False positive for java 21 switch case with null, default

Abierto
#22,040 2 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
3/5
Tiempo estimado
1-2 días
Aptitud para principiantes
55/100
Tipo de issue
Error
Claridad
Bastante claro
Estado de actividad
Tranquilo
Stack tecnológico
java
Área
compilers

Línea de trabajo

Reproduce el fallo de extracción de Java de CodeQL con el ejemplo mínimo de switch de Java 21 y el caso referenciado de PrintixService.java. Empieza siguiendo el análisis del extractor de Java de las etiquetas de switch que implican null y default. Se considera terminado cuando el código fuente válido de Java 21 se extrae correctamente y la finalización procesa el código Java sin los errores indicados.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

false-positive Stale
Version

CodeQL CLI: 2.25.6
github/codeql-action: v3
JDK: 21
OS: ubuntu-latest

What happened?

CodeQL Java extraction fails on valid Java 21 switch syntax.

Error:

  • Unable to parse source file: .../PrintixService.java
  • Parse error at line 84 column 23: Syntax error on token "default", invalid Expression

Then finalize fails with:

  • "CodeQL detected code written in Java/Kotlin but could not process any of it."
  • exit code 32
Minimal reproducible example
static String f(Object x) {
  return switch (x) {
    case null, default -> "v";
  };
}
Lenguaje dominante
CodeQL
Estrellas
10.1k
Forks
2.1k
Merge medio
2 d 10 h
PR fusionados (30 d)
134

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de github/codeql

Todos los issues de github/codeql

Issues similares

Más issues de Compilers

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.