Use clang together with LLVM frontend
Original issue created by @PhilippWendler on 2017-09-05 at 15:27:08, last modified on 2017-09-05 at 15:27:08
For cases where it is interesting to compare the existing C frontend with the new LLVM frontend and for debugging, it would be useful if the latter could call clang
automatically. I.e., one would run scripts/cpa.sh --llvm foo.c ...
and CPAchecker would first call clang foo.c
and then parse the resulting bitcode file.
Maybe the option should be named --clang
instead of --llvm
. CPAchecker could even execute some LLVM optimization phases between clang and the parsing.