Support PHI nodes in LLVM frontend
Currently, we do not support PHI nodes in our LLVM frontend. This should be implemented.
Executing e.g.
scripts/cpa.sh -generateCFA -clang test/programs/benchmarks/pthread/bigshot_p.i
leads to an error:
Error: Parsing failed (Program contains PHI nodes, but they are not supported by CPAchecker, yet.Please remove them with `opt -reg2mem $PROG`) (LlvmParser.parseFile, SEVERE)