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
