Searched refs:TrackConstraintBRVisitor (Results 1 – 3 of 3) sorted by relevance
388 class TrackConstraintBRVisitor final : public BugReporterVisitor {399 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor() function
1786 void TrackConstraintBRVisitor::Profile(llvm::FoldingSetNodeID &ID) const { in Profile()1795 const char *TrackConstraintBRVisitor::getTag() { in getTag()1799 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const { in isUnderconstrained()1805 PathDiagnosticPieceRef TrackConstraintBRVisitor::VisitNode( in VisitNode()2369 Report.addVisitor<TrackConstraintBRVisitor>(V.castAs<DefinedSVal>(), in handle()2532 Report.addVisitor<TrackConstraintBRVisitor>( in handle()
354 const void *tagLesser = TrackConstraintBRVisitor::getTag(); in eventsDescribeSameCondition()