Überprüfung C LLVM Bitcode-Compiler funktioniert ... /xxx/llvm-3.4/Release+Asserts/bin/llvm-dis: Ungültiger Typ für Wert

Question

Dieser Fehler erscheint, wenn ich versuche, LLVM 3.4 vor installing Klee zu installieren.

Der Quellcode wird von der offiziellen LLVM-Website heruntergeladen und in eine separate Datei von Klee dekomprimiert. Makefile in llvm-3.4-Verzeichnis wird verwendet, um LLVM zu erstellen.

Klee zu erstellen, zuerst:

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

Und der Fehler:

.... 
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? 

Es scheint dieser Fehler von Klee geworfen wird, aber es gibt kein Problem mit meiner LLVM-Version als Klee Führer sagt. Ein anderes ähnliches Problem wurde here und here, aber nicht hilfreich gemeldet

Ich habe immer noch keine Ahnung, wo ich mein debug starten soll. Ich schätze jede mögliche Hilfe.

Answer 1

Der Fehler bedeutet, dass Klee /usr/bin/clang++ verwendet, um Beispiel-Quellcode zu .bc zu kompilieren. Und dann verwenden Sie /home/zhangysh1995/work/llvm-3.4/Release+Asserts/bin/llvm-dis, um es zu entfernen.

Sie können die Version überprüfen, indem Sie missmatch die Ausgabe von $ /usr/bin/clang++ --version und $ /home/zhangysh1995/work/llvm-3.4/Release+Asserts/bin/clang++ --version zu vergleichen.

Um dies zu lösen, benutzen Sie bitte:

./configure \ 
--with-llvm=/home/zhangysh1995/work/llvm-3.4/ \ 
--with-llvmcc=/home/zhangysh1995/work/llvm-3.4/Release+Asserts/bin/clang \ 
--with-llvmcxx=/home/zhangysh1995/work/llvm-3.4/Release+Asserts/bin/clang++ \ 
--with-stp=/home/zhangysh1995/work/stp/stp