[PATCH] D59861: [analyzer] NFC: Replace Taint API with a usual inter-checker communication API?

Csaba Dabis via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 27 01:05:57 PDT 2019


Charusso accepted this revision.
Charusso added a comment.
This revision is now accepted and ready to land.

I like the idea to put connecting stuff together in the same file to create more understandable code. LGTM.



================
Comment at: clang/lib/StaticAnalyzer/Checkers/Taint.h:8
+//
+//===----------------------------------------------------------------------===//
+//
----------------
Outdated header-blurb.


================
Comment at: clang/lib/StaticAnalyzer/Checkers/Taint.h:81
+
+void dumpTaint(ProgramStateRef State);
+
----------------
We left the `ProgramState::dump()' context so what about just `dump()`?


Repository:
  rC Clang

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

https://reviews.llvm.org/D59861





More information about the cfe-commits mailing list