Searched refs:TrackConstraintBRVisitor (Results 1 – 3 of 3) sorted by relevance
127 class TrackConstraintBRVisitor128 : public BugReporterVisitorImpl<TrackConstraintBRVisitor>140 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor() function
707 void TrackConstraintBRVisitor::Profile(llvm::FoldingSetNodeID &ID) const { in Profile()716 const char *TrackConstraintBRVisitor::getTag() { in getTag()720 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const { in isUnderconstrained()727 TrackConstraintBRVisitor::VisitNode(const ExplodedNode *N, in VisitNode()993 report.addVisitor(llvm::make_unique<TrackConstraintBRVisitor>( in trackNullOrUndefValue()1043 report.addVisitor(llvm::make_unique<TrackConstraintBRVisitor>( in trackNullOrUndefValue()
83 const void *tagLesser = TrackConstraintBRVisitor::getTag(); in eventsDescribeSameCondition()