Lines Matching refs:CastValueChecker
1 //===- CastValueChecker - Model implementation of custom RTTIs --*- C++ -*-===//
9 // This defines CastValueChecker which models casts of custom RTTIs.
33 class CastValueChecker : public Checker<check::DeadSymbols, eval::Call> {
37 std::function<void(const CastValueChecker *, const CallEvent &Call,
61 {&CastValueChecker::evalCast, CallKind::Function}},
63 {&CastValueChecker::evalDynCast, CallKind::Function}},
65 {&CastValueChecker::evalCastOrNull, CallKind::Function}},
67 {&CastValueChecker::evalDynCastOrNull, CallKind::Function}},
69 {&CastValueChecker::evalCastAs, CallKind::Method}},
71 {&CastValueChecker::evalGetAs, CallKind::Method}},
73 {&CastValueChecker::evalIsa, CallKind::InstanceOf}},
75 {&CastValueChecker::evalIsaAndNonNull, CallKind::InstanceOf}}};
366 void CastValueChecker::evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV,
371 void CastValueChecker::evalDynCast(const CallEvent &Call,
378 void CastValueChecker::evalCastOrNull(const CallEvent &Call,
385 void CastValueChecker::evalDynCastOrNull(const CallEvent &Call,
412 void CastValueChecker::evalCastAs(const CallEvent &Call,
418 void CastValueChecker::evalGetAs(const CallEvent &Call, DefinedOrUnknownSVal DV,
428 void CastValueChecker::evalIsa(const CallEvent &Call, DefinedOrUnknownSVal DV,
443 void CastValueChecker::evalIsaAndNonNull(const CallEvent &Call,
463 bool CastValueChecker::evalCall(const CallEvent &Call,
514 void CastValueChecker::checkDeadSymbols(SymbolReaper &SR,
520 Mgr.registerChecker<CastValueChecker>();