Closed
Description
This issue was copied from checkedc/checkedc-clang#907
This PR updates the expected error message from 'inferred bounds of 'p' are unknown after statement' to 'inferred bounds of 'p' are unknown after increment' to reflect the changes in #893.
Metadata
Metadata
Assignees
Labels
No labels