llvm-project
2729284d - [LV] Add early-exit tests with deref assumptions and scaled sizes.

Commit

5 days ago

[LV] Add early-exit tests with deref assumptions and scaled sizes. Add tests where the size of dereferenceable assumption is multiplied by a constant.

Author

fhahn

Parents

9d9a714f

llvm-project 2729284d - [LV] Add early-exit tests with deref assumptions and scaled sizes.

llvm-project
2729284d - [LV] Add early-exit tests with deref assumptions and scaled sizes.