`[Error]Internal:引发了UnsupportedOperationException类型的未捕获异常(Un

Question

我试图用LLVM后端编译一个文件，该文件以前是用Java后端编译的，但收到了以下警告：

ld: warning: could not create compact unwind for _step: stack subq instruction is too different from dwarf stack size

然后当运行时，我得到以下错误：

java.lang.UnsupportedOperationException
at org.kframework.backend.llvm.LLVMRewriter$1.search(LLVMRewriter.java:149)
at org.kframework.krun.modes.KRunExecutionMode.execute(KRunExecutionMode.java:54)
at org.kframework.krun.KRun.run(KRun.java:85)
at org.kframework.krun.KRunFrontEnd.run(KRunFrontEnd.java:95)
at org.kframework.main.FrontEnd.main(FrontEnd.java:62)
at org.kframework.main.Main.runApplication(Main.java:118)
at org.kframework.main.Main.runApplication(Main.java:108)
at org.kframework.main.Main.main(Main.java:56)
[Error] Internal: Uncaught exception thrown of type
UnsupportedOperationException (UnsupportedOperationException: null)

这些是什么意思？

Answer 1

llvm后端不支持krun --search。目前唯一支持搜索的后端是Java和Haskell后端。

至于链接器警告，我不完全确定它的意思，但它与调试数据有关，因此您可能会忽略它，它不会影响可执行文件的行为。