| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-03-17 | LLVM < 6 leftovers | Julian Büning | |
| 2019-11-07 | Handle llvm.objectsize explicitly | Martin Nowack | |
| 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. | |||
| 2019-10-31 | LLVM 9.0: fourth parameter for @llvm.objectsize() | Julian Büning | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |