Bug#907621: llvm-3.8: Compiler Error for wrong conversion in LLVM/include/llvm/IR/ValueMap.h while building KLEE

2018-08-30 Thread Sylvestre Ledru
Hello, Le 30/08/2018 à 10:59, Kaipeng Zeng a écrit : > Package: llvm-3.8 > Version: 1:3.8.1-24 > Severity: normal > > Dear Maintainer, > > When i was building KLEE follow the documentation: > http://klee.github.io/build-llvm38/ > I got the compiler error: >

Bug#907621: llvm-3.8: Compiler Error for wrong conversion in LLVM/include/llvm/IR/ValueMap.h while building KLEE

2018-08-30 Thread Kaipeng Zeng
Package: llvm-3.8 Version: 1:3.8.1-24 Severity: normal Dear Maintainer, When i was building KLEE follow the documentation: http://klee.github.io/build-llvm38/ I got the compiler error: /usr/lib/llvm-3.8/include/llvm/IR/ValueMap.h:102:31: error: cannot convert ‘const