`[错误]内部:抛出UnsupportedOperationException类型的未捕获异常(UnsupportedOperationException: null)`

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

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