The Checked C clang compiler infers widened bounds for strings (and null-terminated pointers in general) where the null element is checked. We need to add a description of this to Wiki and make sure that the description in the specification describes this.
The Checked C clang compiler infers widened bounds for strings (and null-terminated pointers in general) where the null element is checked. We need to add a description of this to Wiki and make sure that the description in the specification describes this.