Add UB checks for ptr_offset_from* intrinsics#3757

Merged

celinval merged 16 commits intomodel-checking:mainfrom

celinval:issue-3756-offset-from

Jan 9, 2025

Commits on Dec 5, 2024

Commits on Dec 13, 2024

Revert "Add UB checks for `ptr_offset_from*` intrinsics"
tautschnig
committed
Revert "Fix tests after enabling offset bound checks"
tautschnig
committed
Revert "Implement bounds check on offset"
tautschnig
committed
Merge remote-tracking branch 'origin/main' into issue-3756-offset-from
tautschnig
committed
Add UB checks for `ptr_offset_from*` intrinsics

celinval
authored and
tautschnig
committed
fix tests
Carolyn Zech
committed
add test for distance offset_from UB
Carolyn Zech
committed
Add test for pointers to ZSTs
Carolyn Zech
committed

Commits on Jan 4, 2025

Commits on Jan 7, 2025

Merge branch 'main' into issue-3756-offset-from
celinval
authored

Commits on Jan 8, 2025

Apply suggestions from code review
celinval
committed