Hi Peng,
Many thanks for the bug report. I fixed it in r160547.
Best,
Cristian
On 07/14/2012 04:25 AM, Peng Li wrote:
> Hi Cristian
>
> I found this snippet of code in executeInstruction of Executor.cpp
>
> case Instruction::FPToSI: {
> ......
> Arg.convertToInteger(&value, resultType, false,
> llvm::APFloat::rmTowardZero,&isExact);
> ...
> }
>
> The third argument should be "true", right? Because this
> FP is converted to signed integer.
>
> Thanks
> Peng
> _______________________________________________
> klee-dev mailing list
> [email protected]
> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
