diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-11-04 12:33:28 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-11-07 11:51:58 +0000 |
| commit | be4fd315655a1be889dc319c7ff3f89e40922e02 (patch) | |
| tree | 1c20cee0b0bc15fbe9f6d54e1a3130f4459bb9db /include | |
| parent | 5c148a6184adfed5438534b97a88fe10bc1cde37 (diff) | |
| download | klee-be4fd315655a1be889dc319c7ff3f89e40922e02.tar.gz | |
Handle llvm.objectsize explicitly
llvm.objectsize is used in several optimisation during compile time. Lowering these intrinsics took a conservative approach returning always the value for unknown. Instead, lower to the object's real size, if possible. Otherwise, a conservative value is used. Since LLVM 4.0, the function `llvm::lowerObjectSizeCall()` does exactly this. Use this function or preserve the old behaviour for older LLVM versions.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions