Question

当我尝试在installing Klee之前安装LLVM 3.4时出现此错误。

源代码从LLVM官方网站下载并解压缩到Klee的单独文件。 llvm-3.4目录中的Makefile用于构建LLVM。

首先建立Klee：

./configure --with-llvm=/home/zhangysh1995/work/llvm-3.4/ --wi
th-stp=/home/zhangysh1995/work/stp/stp

错误：

....
checking for clang... FOUND
checking for clang++... FOUND
Using C llvm compiler : /usr/bin/clang
Using C++ llvm compiler : /usr/bin/clang++
checking C LLVM Bitcode compiler works... 
/home/zhangysh1995/work/llvm-3.4/Release+Asserts/bin/llvm-dis: In
valid type for value
configure: error: Failed converting LLVM Bitcode to LLVM assembly. Maybe your LLVM versions do not match?

似乎这个错误是从Klee引发的，但我的LLVM版本没有问题，因为Klee指南说。

另一个类似问题已发布here和here，但没有帮助。

我仍然不知道从哪里开始我的调试。我感谢任何可能的帮助。

Answer 1

错误意味着klee使用textView.layer.sublayerTransform = CATransform3DMakeTranslation(10, 0, 0)将示例源代码编译为.bc。然后使用/usr/bin/clang++来取消它。

您可以通过比较/home/zhangysh1995/work/llvm-3.4/Release+Asserts/bin/llvm-dis和$ /usr/bin/clang++ --version的输出来验证版本不匹配。

要解决此问题，请使用：

$ /home/zhangysh1995/work/llvm-3.4/Release+Asserts/bin/clang++ --version

检查C LLVM Bitcode编译器工作... /xxx/llvm-3.4/Release+Asserts/bin/llvm-dis：值的类型无效

1 个答案: