diff options
| author | Pavel <operasfantom@gmail.com> | 2022-07-08 17:48:50 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-09-24 17:57:25 +0200 |
| commit | 21146a3653cdb29790a9d0f557f0f1651befbe9e (patch) | |
| tree | a64695dc025d95d1066fe8970689eee3edfc7a12 /lib/Core | |
| parent | e244b610b04afd81ef3ae47b3644fecc41ea4db1 (diff) | |
| download | klee-21146a3653cdb29790a9d0f557f0f1651befbe9e.tar.gz | |
Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it strips out these intrinsics
Diffstat (limited to 'lib/Core')
0 files changed, 0 insertions, 0 deletions