HelpText<"Mark tainted symbols as such.">,
Documentation<NotDocumented>;
+// This checker *technically* depends on SteamChecker, but we don't allow
+// dependency checkers to emit diagnostics, and a debug checker isn't worth
+// the chore needed to create a modeling portion on its own. Since this checker
+// is for development purposes only anyways, make sure that StreamChecker is
+// also enabled, at least for the time being.
def StreamTesterChecker : Checker<"StreamTester">,
- HelpText<"Add test functions to StreamChecker for test and debugging purposes.">,
- Dependencies<[StreamChecker]>,
+ HelpText<"Add test functions to StreamChecker for test and debugging "
+ "purposes.">,
Documentation<NotDocumented>;
def ExprInspectionChecker : Checker<"ExprInspection">,
-// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-checker=debug.StreamTester,debug.ExprInspection -analyzer-store region -verify %s
+// RUN: %clang_analyze_cc1 -verify %s \
+// RUN: -analyzer-checker=core \
+// RUN: -analyzer-checker=alpha.unix.Stream \
+// RUN: -analyzer-checker=debug.StreamTester \
+// RUN: -analyzer-checker=debug.ExprInspection
#include "Inputs/system-header-simulator.h"