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后端。

就链接器警告而言，我不确定它的含义，但它与调试数据有关，因此您可以忽略它，并且不会影响可执行文件的行为。

`[错误]内部：抛出了UnsupportedOperationException类型的未捕获异常（UnsupportedOperationException：null）

1 个答案: