diff options
author | Jiri Slaby <jirislaby@gmail.com> | 2018-06-15 07:51:10 +0200 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-07-12 23:25:49 +0100 |
commit | 7ff20e3da8b6d3384157d24282d510eb8e4d2f10 (patch) | |
tree | 7e0bc60c8de83939f0c30f9169481b989522a478 /lib/Module/ModuleUtil.cpp | |
parent | 3eece12c6c5832dce7148a4c8a9c0d4e5ac37f38 (diff) | |
download | klee-7ff20e3da8b6d3384157d24282d510eb8e4d2f10.tar.gz |
llvm38: no rounding in APFloat
The rounding was removed because it was never needed: llvm-mirror/llvm@ff278be Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Module/ModuleUtil.cpp')
0 files changed, 0 insertions, 0 deletions