clang/test/Analysis/nullability-nocrash.c

   1 // RUN: %clang_analyze_cc1 -w -analyzer-checker=nullability \
   2 // RUN:                       -analyzer-output=text -verify %s
   3 //
   4 // expected-no-diagnostics
   5 //
   6 // Previously there was an assertion requiring that if an Event is handled by
   7 // some enabled checker, then there must be at least one enabled checker which
   8 // can emit that kind of Event.
   9 // This assertion failed when NullabilityChecker (which is a subclass of
  10 // check::Event<ImplicitNullDerefEvent>) was enabled, but the checkers
  11 // inheriting from EventDispatcher<ImplicitNullDerefEvent> were all disabled.
  12 // This test file validates that enabling the nullability checkers (without any
  13 // other checkers) no longer causes a crash.