[PATCH] Docs: Document that taint analyzer checker stops other checkers
Avinash Sonawane
rootkea@gmail.com
Tue Mar 22 18:13:08 GMT 2022
Hello!
$ man gcc says that "Some checkers are disabled by default (even with
-fanalyzer), such as the "taint" checker that implements
-Wanalyzer-tainted-array-index, and this option is required to enable
them." but still lists the -Wanalyzer-tainted-* checkers under
-fanalyzer saying "Enabling this option effectively enables the
following warnings:"
This patch comments out the tainted-* checkers so that when
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103533 gets fixed we can
remove the comment and list them under -fanalyzer
Also, the above wording suggests that `-fanalyzer
-fanalyzer-checker=taint` enables the taint checkers in addition to
the default checkers but currently, enabling -fanalyzer-checker=taint
stops other checkers. This patch documents that too.
Please find the attached patch.
Thanks!
Regards,
Avinash Sonawane (rootKea)
https://www.rootkea.me
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Docs-Document-that-taint-analyzer-checker-stops-othe.patch
Type: text/x-patch
Size: 1334 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20220322/a2921442/attachment.bin>
More information about the Gcc-patches
mailing list