Make sure LLVM preprocessing calls supported version of clang
After !34 (merged) is merged, preprocessing C code to LLVM IR with clang
will be supported by CPAchecker.
But ClangProcessor
calls command clang
without checking this version.
This means that, if the installed default version of clang
is unequal to the LLVM version supported by CPAchecker,
the preprocessing step will potentially produce LLVM code that is incompatible with CPAchecker's LLVM parser.
To avoid this, we should always explicitly call the clang version supported by CPAchecker (currently, this is clang-6.0
).
Hardcoding this command would be the easiest way, but maybe the version number can also be extracted from llvm-j
directly.