[klee-dev] A typo?

[Peng Li]

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
klee-dev@keeda.stanford.edu
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev