diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-11-12 14:38:19 +0400 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-11-15 15:43:11 +0000 |
| commit | 3af34e6095ee64332c089c98128dcfbcccced65e (patch) | |
| tree | 71f003c83f17a4c7bbd45f8b9436167dad8e7419 /docs | |
| parent | c33beaa330bc8917249575b285f4a083dfe81922 (diff) | |
| download | klee-3af34e6095ee64332c089c98128dcfbcccced65e.tar.gz | |
Implement @llvm.is.constant() intrinsic handling and add a test for it.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions