This is primarily Martin's work. My changes:
First, this picks up the last bit of stuff from patch #1 of the 6 series
kit to handle unterminated strings -- I was mistaken last night when I
said the prior patch wrapped up the bits from patch #1 that we needed.
I made NONSTR simply passed through
On 08/13/2018 03:27 PM, Martin Sebor wrote:
> The attached changes implement the detection of past-the-end reads
> by strcpy due to unterminated arguments.
>
> gcc-86552-3.diff
>
>
> PR tree-optimization/86552 - missing warning for reading past the end of
> non-string arrays
>
> gcc/ChangeLog:
The attached changes implement the detection of past-the-end reads
by strcpy due to unterminated arguments.
PR tree-optimization/86552 - missing warning for reading past the end of non-string arrays
gcc/ChangeLog:
* builtins.c (unterminated_array): New.
(expand_builtin_strcpy): Adjust.
(expan