This repository was archived by the owner on Sep 30, 2024. It is now read-only.
This repository was archived by the owner on Sep 30, 2024. It is now read-only.
Bounds checking for pointer dereferences and array subscripts: update test #469
Closed
Description
This issue was copied from checkedc/checkedc#472
This PR updates some expected error messages to reflect the behavior in checkedc-clang/1176: for a pointer dereference or array subscript with target bounds, bounds validation uses the existing framework in UpdateAfterAssignment and ValidateBoundsContext to validate these expressions. This means that the error messages emitted for pointer dereferences or array subscripts whose inferred bounds are unknown have been updated to be consistent with the error messages for checking variables and member expressions, so the expected error messages in the test file bounds_decl_checking.c are updated.
Metadata
Metadata
Assignees
Labels
No labels