brintos

brintos / llvm-project-archived public Read only

0
0
Text · 694 B · 209b770 Raw
14 lines · c
1// RUN: %clang_analyze_cc1 -w -analyzer-checker=nullability \2// RUN:                       -analyzer-output=text -verify %s3//4// expected-no-diagnostics5//6// Previously there was an assertion requiring that if an Event is handled by7// some enabled checker, then there must be at least one enabled checker which8// can emit that kind of Event.9// This assertion failed when NullabilityChecker (which is a subclass of10// check::Event<ImplicitNullDerefEvent>) was enabled, but the checkers11// inheriting from EventDispatcher<ImplicitNullDerefEvent> were all disabled.12// This test file validates that enabling the nullability checkers (without any13// other checkers) no longer causes a crash.14