search

checkedc / checkedc-fork

This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
Other
26 stars 3 forks source link

Treat address-of array subscripts the same way as address-of dereferences: update tests #464

Closed secure-sw-dev-bot closed 2 years ago

secure-sw-dev-bot commented 2 years ago

This issue was copied from https://github.com/microsoft/checkedc/issues/466

This PR updates the tests to reflect the updated type checking behavior for address-of array subscripts in checkedc-clang/1163. If an expression e has type T, then &e[idx] and &idx[e] also have type T.