diff options
| author | Florian Hahn <flo@fhahn.com> | 2025-09-01 17:06:52 +0100 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2025-09-01 17:11:20 +0100 |
| commit | de6a83257c788731e1c8fadf36b7de2a3a433908 (patch) | |
| tree | f965fbc4c79bf4ad18073eb9f7c39b3955fcb859 /llvm/lib/Support/CommandLine.cpp | |
| parent | 1fae86d5d361328b0598dd51dfb32f620c7d4158 (diff) | |
| download | llvm-de6a83257c788731e1c8fadf36b7de2a3a433908.zip llvm-de6a83257c788731e1c8fadf36b7de2a3a433908.tar.gz llvm-de6a83257c788731e1c8fadf36b7de2a3a433908.tar.bz2 | |
[Loads] Add tests for proving deref with assumes and loop guards.
Extra test coverage for using loop guards when reasoning about
dereferenceability with assumes.
Diffstat (limited to 'llvm/lib/Support/CommandLine.cpp')
0 files changed, 0 insertions, 0 deletions