Verifier crashes on a call to a varargs method with two or more arguments
Les mainteneurs répondent en général sous 1 jour
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 4/5
- Temps estimé
- 1-2 jours
- Accessibilité débutants
- 55/100
Piste de recherche
Start by running the minimal reproducer in main and trace how the verifier checks the count("a", "b") invocation against the varargs method. The issue does not name a source file or test, so locate the invocation-checking code and its existing tests. Done means the reproducer prints Correct! Passed Verification. instead of crashing.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Impact: verification stops with an internal error. Found while building a test fixture; no example blocked yet.
Description
Calling a user-defined varargs method with two or more arguments crashes (Index 1 out of bounds for length 1): the arguments are matched one-to-one with the single array parameter.
Minimal reproducer
public class Repro {
static int count(String... names) {
return names.length;
}
public static void main(String[] args) {
int n = count("a", "b");
System.out.println(n);
}
}
Expected
Correct! Passed Verification.
Actual
Exception in thread "main" java.lang.RuntimeException:
Error while checking CtMethodImpl
on main(String[] args) {
with
Error while checking CtBlockImpl
on {
with
Error while checking CtLocalVariableImpl
on n = count("a", "b");
with
Error while checking CtInvocationImpl
on count("a", "b");
with Index 1 out of bounds for length 1
Caused by: java.lang.RuntimeException:
Reproduced on main at 0472025e (liquidjava-verifier 0.0.35); also on fbfb4e23 and 0.0.33 in the original form.
Context
Found while turning bugs mined from real open-source Java (fixed upstream or still present) into study examples for the error-message study.
- Langage dominant
- Java
- Étoiles
- 67
- Forks
- 36
- Merge moyen
- 2 j 3 h
- PR mergées (30 j)
- 29
Préparer son environnement
- Aucun Dockerfile ni fichier Docker Compose
- Propose un modèle de pull request
- Lire le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de liquid-java/liquidjava
-
enhancement
Difficulté 2/5 1-3 heures Accessibilité débutants 65/100
liquid-java/liquidjava#373 ·
Les mainteneurs répondent en général sous 1 jour
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
liquid-java/liquidjava#321 ·
Les mainteneurs répondent en général sous 1 jour
-
Synthesize hints for resolutionOuverteenhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
liquid-java/liquidjava#381 ·
Les mainteneurs répondent en général sous 1 jour
-
enhancement future latte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
liquid-java/liquidjava#380 ·
Les mainteneurs répondent en général sous 1 jour
-
An external spec cannot refine methods its class inheritsPeut-être pris @CatarinaGamboa l’a pris il y a 1 jour. Ouvertebug
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
liquid-java/liquidjava#379 ·
Les mainteneurs répondent en général sous 1 jour
Toutes les issues de liquid-java/liquidjava
Issues similaires
-
[BUG] 订单：会员凭订单号即可取消其他会员的待付款订单（取消接口不校验订单归属）Peut-être pris @dadiyang l’a pris aujourd’hui. Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
macrozheng/mall#1016 ·
-
[Bug] The producer summary counts an unreported client version as a second version and warns about a version mixPeut-être pris Une pull request liée à cette issue est ouverte ou déjà fusionnée. Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 74/100
apache/rocketmq-dashboard#6110 ·
Les mainteneurs répondent en général sous 4 jours
-
Python 3.15 supportPeut-être pris @amnesiaof l’a pris aujourd’hui. OuverteL: python L: python:uv
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
dependabot/dependabot-core#16524 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
`Processing lsp` never exits and leaves orphaned processesPeut-être pris @overcast302 l’a pris aujourd’hui. Ouvertebug
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
processing/processing4#1578 · 1 commentaire ·
-
bug needs triage
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
PlayersCommittee/gemp-swccg-public#1174 ·
Les mainteneurs répondent en général sous 2 jours