Searched refs:TrackConstraintBRVisitor (Results 1 – 3 of 3) sorted by relevance
129 class TrackConstraintBRVisitor130 : public BugReporterVisitorImpl<TrackConstraintBRVisitor>142 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor() function
711 void TrackConstraintBRVisitor::Profile(llvm::FoldingSetNodeID &ID) const { in Profile()720 const char *TrackConstraintBRVisitor::getTag() { in getTag()724 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const { in isUnderconstrained()731 TrackConstraintBRVisitor::VisitNode(const ExplodedNode *N, in VisitNode()998 new TrackConstraintBRVisitor(V.castAs<DefinedSVal>(), false); in trackNullOrUndefValue()1051 report.addVisitor(new TrackConstraintBRVisitor( in trackNullOrUndefValue()
83 const void *tagLesser = TrackConstraintBRVisitor::getTag(); in eventsDescribeSameCondition()