Searched refs:TrackConstraintBRVisitor (Results 1 – 3 of 3) sorted by relevance
395 class TrackConstraintBRVisitor final : public BugReporterVisitor {406 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption, in TrackConstraintBRVisitor() function
1815 void TrackConstraintBRVisitor::Profile(llvm::FoldingSetNodeID &ID) const { in Profile()1825 const char *TrackConstraintBRVisitor::getTag() { in getTag()1829 bool TrackConstraintBRVisitor::isZeroCheck() const { in isZeroCheck()1833 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const { in isUnderconstrained()1839 PathDiagnosticPieceRef TrackConstraintBRVisitor::VisitNode( in VisitNode()2390 Report.addVisitor<TrackConstraintBRVisitor>( in handle()2554 Report.addVisitor<TrackConstraintBRVisitor>( in handle()
365 const void *tagLesser = TrackConstraintBRVisitor::getTag(); in eventsDescribeSameCondition()