When accessing the data pointer for an array, first decay it to a Derived Pointer#54335

Merged

gbaraldi merged 3 commits intomasterfrom gb/addrspace_fun

May 3, 2024

+50-51

Commits on May 2, 2024

When accessing the data pointer for an array, first decay it to a Derived Pointer
gbaraldi
committed
Enable Strong verifier when building with assertions
gbaraldi
committed

Commits on May 3, 2024

Make the analyzer happier
gbaraldi
committed