sprintf warning on overlapping output

[Jeff Law]

On 09/25/2016 03:46 AM, Bernd Edlinger wrote:
> Hi Martin,
>
> in the past I have seen (and fixed) code like
>
> sprintf(buf, "%s %d", buf, x);
>
> that may possibly work by chance, but usually
> produces undefined results.
>
> Do you see a way to enhance the warning for cases
> where the output buffer overlaps an input buffer?
ISTM you really need strong PTA analysis here to nail down the pointers 
to a single object, then you can query their ranges and look for overlap.

Jeff