Ping: https://gcc.gnu.org/pipermail/gcc-patches/2021-July/574385.html
On 7/12/21 12:06 PM, Martin Sebor wrote:
Ping: https://gcc.gnu.org/pipermail/gcc-patches/2021-July/574385.html
On 7/2/21 1:21 PM, Martin Sebor wrote:
To avoid a class of false negatives for sanitized code
-Wuninitialized recognizes the ASAN_MARK internal function
doesn't modify its argument. But the warning code doesn't do
the same for any sanitizer built-ins even though they don't
modify user-supplied arguments either. This leaves another
class of false negatives unresolved.
The attached fix enhances the warning logic to recognize all
sanitizer built-ins as well and treat them as non-modifying.
Tested on x86_64-linux.
Martin
