[PATCH] D74131: [analyzer][taint] Add isTainted debug expression inspection check

[Balázs Benics via Phabricator via cfe-commits]

steakhal updated this revision to Diff 246420.
steakhal added a comment.

Declaring the purpose of this checker:

>   [...]
>   This would help to reduce the *noise* that the `TaintTest` debug checker would
>   introduce and let you focus on the `expected-warning`s that you really care
>   about.

Added test to `exactly one argument` requirement.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D74131/new/

https://reviews.llvm.org/D74131

Files:
  clang/docs/analyzer/developer-docs/DebugChecks.rst
  clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
  clang/test/Analysis/debug-exprinspection-istainted.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D74131.246420.patch
Type: text/x-patch
Size: 7050 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20200225/3dba3836/attachment.bin>