[PATCH] D145229: [analyzer] Improve the documentation of the alpha.security.taint.TaintPropagation checker

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

steakhal added inline comments.


================
Comment at: clang/docs/analyzer/checkers.rst:2471
+  #ifdef __clang_analyzer__
+    void csa_mark_sanitized(const void *);
+  #endif
----------------
Have you considered unconditionally having this function with an empty body?
That way it would have no "noise" at callsite.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D145229