[Bug]: `CompilerDirectives$ShouldNotReachHere: User locals must have their info field set to a varnames index`

已關閉

#1,108 建立於 2026年8月25日 0 則留言 0 個 reaction 已指派 0 人在 GitHub 檢視

維護者通常 1 天內回覆

還沒有人認領這個 Issue。

評估

難度: 3/5
預估耗時: 1-2 天
新手友好度: 68/100

Issue 類型: 缺陷
描述清晰度: 描述清楚
活躍度: 活躍
技術堆疊: java, python
領域: backend, compilers

研究方向

先執行重現程式 sum is not None == 1，然後檢查 PException.java 中的 raiseUnboundLocalException，以及 PBytecodeDSLRootNode 中相關的區域變數處理。完成的標準是該程式片段能在不發生 ShouldNotReachHere 當機的情況下執行完畢，同時保留預期的無當機行為。

由索引模型根據 Issue 內容生成。

描述

bug

Describe the bug

GraalPy crashes when running this fuzzed code:

sum is not None == 1

Operating system

Linux

CPU architecture

x86_64

GraalPy version

GraalPy 3.13.14 (Oracle GraalVM Native 25.3.4.1)

JDK version

No response

Context configuration

No response

Steps to reproduce

Snippet listed above

Expected behavior

No crash

Stack trace

User locals must have their info field set to a varnames index.
com.oracle.truffle.api.CompilerDirectives$ShouldNotReachHere: User locals must have their info field set to a varnames index.
	at org.graalvm.truffle/com.oracle.truffle.api.CompilerDirectives.shouldNotReachHere(CompilerDirectives.java:794)
	at org.graalvm.truffle/com.oracle.truffle.api.CompilerDirectives.shouldNotReachHere(CompilerDirectives.java:740)
	at org.graalvm.py/com.oracle.graal.python.runtime.exception.PException.raiseUnboundLocalException(PException.java:609)
	at org.graalvm.py/com.oracle.graal.python.nodes.bytecode_dsl.PBytecodeDSLRootNodeGen$UncachedBytecodeNodeTailCall.getLocalValueInternal(PBytecodeDSLRootNodeGen.java:38374)
	at org.graalvm.truffle/com.oracle.truffle.api.bytecode.LocalAccessor.getObject(LocalAccessor.java:116)
	at org.graalvm.py/com.oracle.graal.python.nodes.bytecode_dsl.PBytecodeDSLRootNode$LoadAndClearTempLocal.doObject(PBytecodeDSLRootNode.java:4338)
	at org.graalvm.py/com.oracle.graal.python.nodes.bytecode_dsl.PBytecodeDSLRootNodeGen$LoadAndClearTempLocal_Node.execute$uncached(PBytecodeDSLRootNodeGen.java)
	at org.graalvm.py/com.oracle.graal.python.nodes.bytecode_dsl.PBytecodeDSLRootNodeGen$UncachedBytecodeNodeTailCall.handleLoadAndClearTempLocal_(PBytecodeDSLRootNodeGen.java:37349)
	at org.graalvm.py/com.oracle.graal.python.nodes.bytecode_dsl.PBytecodeDSLRootNodeGen$UncachedBytecodeNodeTailCall.__stub_handleLoadAndClearTempLocal_(PBytecodeDSLRootNodeGen.java:0)
	at org.graalvm.py/com.oracle.graal.python.nodes.bytecode_dsl.PBytecodeDSLRootNodeGen$UncachedBytecodeNodeTailCall.continueAt(PBytecodeDSLRootNodeGen.java:35093)
	at org.graalvm.py/com.oracle.graal.python.nodes.bytecode_dsl.PBytecodeDSLRootNodeGen.continueAt(PBytecodeDSLRootNodeGen.java:3501)
	at org.graalvm.py/com.oracle.graal.python.nodes.bytecode_dsl.PBytecodeDSLRootNodeGen.execute(PBytecodeDSLRootNodeGen.java:3493)
	at org.graalvm.truffle.runtime/com.oracle.truffle.runtime.OptimizedCallTarget.executeRootNode(OptimizedCallTarget.java:808)
	at org.graalvm.truffle.runtime/com.oracle.truffle.runtime.OptimizedCallTarget.profiledPERoot(OptimizedCallTarget.java:722)
	at org.graalvm.truffle.runtime/com.oracle.truffle.runtime.OptimizedCallTarget.callBoundary(OptimizedCallTarget.java:641)
	at org.graalvm.truffle.runtime.svm/com.oracle.svm.truffle.api.SubstrateOptimizedCallTarget.invokeCallBoundary(SubstrateOptimizedCallTarget.java:124)
	at com.oracle.truffle.enterprise.svm/com.oracle.svm.enterprise.truffle.compiler.SubstrateEnterpriseOptimizedCallTarget.invokeCompiledAdapterOrCallBoundary(SubstrateEnterpriseOptimizedCallTarget.java:293)
	at com.oracle.truffle.enterprise.svm/com.oracle.svm.enterprise.truffle.compiler.SubstrateEnterpriseOptimizedCallTarget.invokeFromInterpreter(SubstrateEnterpriseOptimizedCallTarget.java:269)
	at com.oracle.truffle.enterprise.svm/com.oracle.svm.enterprise.truffle.compiler.SubstrateEnterpriseOptimizedCallTarget.doInvoke(SubstrateEnterpriseOptimizedCallTarget.java:255)
	at org.graalvm.truffle.runtime/com.oracle.truffle.runtime.OptimizedCallTarget.callDirect(OptimizedCallTarget.java:573)
	at org.graalvm.truffle.runtime/com.oracle.truffle.runtime.OptimizedCallTarget.call(OptimizedCallTarget.java:519)
	at org.graalvm.py/com.oracle.graal.python.builtins.modules.GraalPythonModuleBuiltins$RunPathNode.runFile(GraalPythonModuleBuiltins.java:432)
	at org.graalvm.py/com.oracle.graal.python.builtins.modules.GraalPythonModuleBuiltins$RunPathNode.runBoundary(GraalPythonModuleBuiltins.java:387)
	at org.graalvm.py/com.oracle.graal.python.builtins.modules.GraalPythonModuleBuiltins$RunPathNode.run(GraalPythonModuleBuiltins.java:357)
	at org.graalvm.py/com.oracle.graal.python.builtins.modules.GraalPythonModuleBuiltinsFactory$RunPathNodeFactory$RunPathNodeGen.executeAndSpecialize(GraalPythonModuleBuiltinsFactory.java:201)
	at org.graalvm.py/com.oracle.graal.python.builtins.modules.GraalPythonModuleBuiltinsFactory$RunPathNodeFactory$RunPathNodeGen.execute(GraalPythonModuleBuiltinsFactory.java:190)
	at org.graalvm.py/com.oracle.graal.python.nodes.function.builtins.BuiltinCallNode$BuiltinAnyCallNode.execute(BuiltinCallNode.java:64)
	at org.graalvm.py/com.oracle.graal.python.nodes.function.BuiltinFunctionRootNode.execute(BuiltinFunctionRootNode.java:337)
[...snip...]

Additional context

No response

主要語言: Python
星號: 1.7k
分支: 163
平均合併: 1 天 5 小時
30 天內合併 PR: 45

環境準備

在 Codespaces 中開啟

在瀏覽器裡用你自己的 GitHub 帳號啟動這個專案的開發容器。

沒有 Dockerfile 或 Docker Compose 檔案
沒有 Pull Request 範本
閱讀貢獻指南

從這裡開始

先讀完整個 Issue，再讀專案的貢獻指南。
在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
Fork 儲存庫，在一個分支上完成修改。
送出 Pull Request，並在描述裡引用這個 Issue 編號。

oracle/graalpython 的其他 Issue

[Feature Request]: Add `math.cbrt` and `math.exp2`
可能已有人在做 @jseop-lim 於 1 天前認領。未關閉
- 哪裡不對？
enhancement

難度 2/5 1-3 小時新手友好度 78/100

oracle/graalpython#1260 · 2026年10月31日建立

維護者通常 1 天內回覆
[Bug]: UnsupportedSpecializationException with `deque.pop`
未關閉
- 哪裡不對？
bug

難度 2/5 1-3 小時新手友好度 74/100

oracle/graalpython#1105 · 2026年8月25日建立

維護者通常 1 天內回覆
[Bug]: UnsupportedSpecializationException with MappingProxyType
未關閉
- 哪裡不對？
bug

難度 2/5 1-3 小時新手友好度 78/100

oracle/graalpython#1102 · 2026年8月25日建立

維護者通常 1 天內回覆
[Bug]: `_csv.Reader` and `_csv.Writer` are named `Reader` and `Writer` instead of `reader` and `writer`
可能已有人在做 @jseop-lim 於 1 天前認領。未關閉
- 哪裡不對？
bug

難度 3/5 1-2 天新手友好度 25/100

oracle/graalpython#1259 · 2026年10月31日建立

維護者通常 1 天內回覆
[Bug]: `_thread.RLock()` rejects arguments that CPython accepts and ignores
可能已有人在做 @jseop-lim 於 1 天前認領。未關閉
- 哪裡不對？
bug

難度 2/5 1-3 小時新手友好度 20/100

oracle/graalpython#1258 · 2026年10月31日建立

維護者通常 1 天內回覆

查看 oracle/graalpython 的全部 Issue

相似的 Issue

Add unit test for parse_version in utilities/updater.py
未關閉
- 哪裡不對？
good first issue test

難度 2/5 1-3 小時新手友好度 85/100

ANCORATE/EncryptHome#8 · 2026年11月1日建立
PluginProvider.storeInstance races and clobbers the dedup cache for concurrent loads
可能已有人在做 @Wilson0511 今天認領。未關閉
- 哪裡不對？
needs-triage

難度 2/5 1-3 小時新手友好度 62/100

NVIDIA/garak#2384 · 2026年11月1日建立

維護者通常 2 天內回覆
Bug: failed Together chat calls do not record operation duration or error.type
可能已有人在做關聯的 PR 仍在進行中或已合併。未關閉
- 哪裡不對？
難度 2/5 1-3 小時新手友好度 72/100

openlit/openlit#1885 · 2026年11月1日建立

維護者通常 1 天內回覆
CONTRIBUTING does not say how to add a COMMIT_EXCEPTIONS or UNLISTED_AUTHORS entry
未關閉
- 哪裡不對？
community documentation good first issue

難度 2/5 1-3 小時新手友好度 75/100

yakew7/Fair-Code#1261 · 2026年11月1日建立

維護者通常 1 天內回覆
postgresql_ping fails with "'NoneType' object has no attribute 'group'" on a pre-release server (19rc1)
未關閉
- 哪裡不對？
難度 2/5 1-3 小時新手友好度 78/100

ansible-collections/community.postgresql#966 · 2026年11月1日建立

更多 Python Issue

[Bug]: `CompilerDirectives$ShouldNotReachHere: User locals must have their info field set to a varnames index`

哪裡不對？

評估

研究方向

描述

Describe the bug

Operating system

CPU architecture

GraalPy version

JDK version

Context configuration

Steps to reproduce

Expected behavior

Stack trace

Additional context

環境準備

從這裡開始

oracle/graalpython 的其他 Issue

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

相似的 Issue

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

把新 issue 寄到你的電子郵件信箱