Re: [PATCH v2] constrain conservative string lengths to array sizes [PR104119]

2022-02-03 Thread Jason Merrill via Gcc-patches
On 1/20/22 17:54, Martin Sebor wrote: The updated patch ensures the tighter bound isn't used to compute the sprintf result and adds a test to verify that.  (This is messy in the strlen/sprintf pass and should be cleaned up to avoid this mistake in the future.) Rested on x86_64-linux. OK, thank

[PATCH v2] constrain conservative string lengths to array sizes [PR104119]

2022-01-20 Thread Martin Sebor via Gcc-patches
The updated patch ensures the tighter bound isn't used to compute the sprintf result and adds a test to verify that. (This is messy in the strlen/sprintf pass and should be cleaned up to avoid this mistake in the future.) Rested on x86_64-linux. On 1/19/22 18:20, Martin Sebor wrote: The attach