Skip to content

Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding - #4671

Merged
feliperodri merged 2 commits into
model-checking:mainfrom
tautschnig:fix-offset-model-wrap
Aug 14, 2026
Merged

Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding#4671
feliperodri merged 2 commits into
model-checking:mainfrom
tautschnig:fix-offset-model-wrap

Address review: use wrapping_add_signed and split OffsetModel safety …

e646f04
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 13, 2026 in 8s