No matches were found for subject:"Bug#907621\: llvm\-3.8\: Compiler Error for wrong conversion in LLVM\/include\/llvm\/IR\/ValueMap.h while building KLEE"