Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [IR][Verifier] Allow IntToPtrInst to be !dereferenceable | Ryan Taylor | 2019-07-23 | 1 | -3/+45 |
* | Add verification for align, dereferenceable, dereferenceable_or_null load met... | Artur Pilipenko | 2015-10-09 | 1 | -0/+86 |