Skip to content

Degrade constant fat pointers to unsupported DSTs instead of crashing - #4704

Merged
feliperodri merged 1 commit into
model-checking:mainfrom
tautschnig:fix-const-fat-ptr-dst
Aug 1, 2026
Merged

Degrade constant fat pointers to unsupported DSTs instead of crashing#4704
feliperodri merged 1 commit into
model-checking:mainfrom
tautschnig:fix-const-fat-ptr-dst

Degrade constant fat pointers to unsupported DSTs instead of crashing

fe0b3ba
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
audit
succeeded Jul 30, 2026 in 51s