On 7/19/2021 6:01 PM, Martin Sebor via Gcc-patches wrote:
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.
OK after fixing the "pointets" -> "pointers" typo.
Jeff
