Verifier crashes on a call to a varargs method with two or more arguments
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
調査の方向性
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.
索引モデルが issue の本文から書いたものです。
説明
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.
- 主要言語
- Java
- スター
- 67
- フォーク
- 36
- 平均マージ
- 2日 3時間
- マージ済み PR（30日）
- 29
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートあり
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
liquid-java/liquidjava のほかの issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
liquid-java/liquidjava#388 ·
メンテナーはふだん 1 日以内に返信
-
enhancement
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
liquid-java/liquidjava#373 ·
メンテナーはふだん 1 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
liquid-java/liquidjava#321 ·
メンテナーはふだん 1 日以内に返信
-
bug
難易度 3/5 1〜2日 初心者へのやさしさ 62/100
liquid-java/liquidjava#390 ·
メンテナーはふだん 1 日以内に返信
-
Verifier crashes on `!` (or another unary operator) applied to a call whose type cannot be resolvedオープンbug
難易度 3/5 1〜2日 初心者へのやさしさ 65/100
liquid-java/liquidjava#389 ·
メンテナーはふだん 1 日以内に返信
liquid-java/liquidjava の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 64/100
utopia-rise/godot-jvm#1004 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
spring-projects/spring-grpc#442 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
resilience4j/resilience4j#2547 ·
メンテナーはふだん 9 日以内に返信
-
Clock.MakeDate continues execution and returns a rolled-over instant after dispatching error on invalid date対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 1/5 1時間未満 初心者へのやさしさ 82/100
mit-cml/appinventor-sources#4155 ·
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1〜3時間 初心者へのやさしさ 62/100
Hira-shi/PW1-DAI-Carrel-Egal-Eyer#28 ·
メンテナーはふだん 1 日以内に返信