Re: [PATCH] assume built-in calls don't modify allocated objects (PR 101584)

2021-07-26 Thread Jeff Law via Gcc-patches
On 7/22/2021 4:27 PM, Martin Sebor via Gcc-patches wrote: Passing a pointer to a built-in function escapes it, which in turn causes objects pointed to by other potentially aliased pointers to be assumed to be modified by other built-in calls. This leads to a class of false negative -Wuninitial

[PATCH] assume built-in calls don't modify allocated objects (PR 101584)

2021-07-22 Thread Martin Sebor via Gcc-patches
Passing a pointer to a built-in function escapes it, which in turn causes objects pointed to by other potentially aliased pointers to be assumed to be modified by other built-in calls. This leads to a class of false negative -Wuninitialized warnings that can be avoided by the warning code and with