forked from OSchip/llvm-project
[analyzer][NFC] Add dividers to BugReporterVisitors.cpp
Some minor formatting to make the file more readable. Added //===----------===// around the implementation of class methods and divided anonymous namespaces as per https://llvm.org/docs/CodingStandards.html#anonymous-namespaces llvm-svn: 362887
This commit is contained in:
parent
2aa0c5515f
commit
4cc6d72bb4
|
@ -197,7 +197,7 @@ getConcreteIntegerValue(const Expr *CondVarExpr, const ExplodedNode *N) {
|
|||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Definitions for bug reporter visitors.
|
||||
// Implementation of BugReporterVisitor.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
std::shared_ptr<PathDiagnosticPiece>
|
||||
|
@ -694,6 +694,10 @@ private:
|
|||
}
|
||||
};
|
||||
|
||||
} // end of anonymous namespace
|
||||
|
||||
namespace {
|
||||
|
||||
/// Suppress null-pointer-dereference bugs where dereferenced null was returned
|
||||
/// the macro.
|
||||
class MacroNullReturnSuppressionVisitor final : public BugReporterVisitor {
|
||||
|
@ -782,6 +786,10 @@ private:
|
|||
}
|
||||
};
|
||||
|
||||
} // end of anonymous namespace
|
||||
|
||||
namespace {
|
||||
|
||||
/// Emits an extra note at the return statement of an interesting stack frame.
|
||||
///
|
||||
/// The returned value is marked as an interesting value, and if it's null,
|
||||
|
@ -1057,7 +1065,11 @@ public:
|
|||
}
|
||||
};
|
||||
|
||||
} // namespace
|
||||
} // end of anonymous namespace
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Implementation of FindLastStoreBRVisitor.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
void FindLastStoreBRVisitor::Profile(llvm::FoldingSetNodeID &ID) const {
|
||||
static int tag = 0;
|
||||
|
@ -1367,6 +1379,10 @@ FindLastStoreBRVisitor::VisitNode(const ExplodedNode *Succ,
|
|||
return std::make_shared<PathDiagnosticEventPiece>(L, os.str());
|
||||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Implementation of TrackConstraintBRVisitor.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
void TrackConstraintBRVisitor::Profile(llvm::FoldingSetNodeID &ID) const {
|
||||
static int tag = 0;
|
||||
ID.AddPointer(&tag);
|
||||
|
@ -1439,6 +1455,10 @@ TrackConstraintBRVisitor::VisitNode(const ExplodedNode *N,
|
|||
return nullptr;
|
||||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Implementation of SuppressInlineDefensiveChecksVisitor.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
SuppressInlineDefensiveChecksVisitor::
|
||||
SuppressInlineDefensiveChecksVisitor(DefinedSVal Value, const ExplodedNode *N)
|
||||
: V(Value) {
|
||||
|
@ -1534,6 +1554,10 @@ SuppressInlineDefensiveChecksVisitor::VisitNode(const ExplodedNode *Succ,
|
|||
return nullptr;
|
||||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Implementation of trackExpressionValue.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
static const MemRegion *getLocationRegionIfReference(const Expr *E,
|
||||
const ExplodedNode *N) {
|
||||
if (const auto *DR = dyn_cast<DeclRefExpr>(E)) {
|
||||
|
@ -1753,6 +1777,10 @@ bool bugreporter::trackExpressionValue(const ExplodedNode *InputNode,
|
|||
return true;
|
||||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Implementation of NulReceiverBRVisitor.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
const Expr *NilReceiverBRVisitor::getNilReceiver(const Stmt *S,
|
||||
const ExplodedNode *N) {
|
||||
const auto *ME = dyn_cast<ObjCMessageExpr>(S);
|
||||
|
@ -1803,6 +1831,10 @@ NilReceiverBRVisitor::VisitNode(const ExplodedNode *N,
|
|||
return std::make_shared<PathDiagnosticEventPiece>(L, OS.str());
|
||||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Implementation of FindLastStoreBRVisitor.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
// Registers every VarDecl inside a Stmt with a last store visitor.
|
||||
void FindLastStoreBRVisitor::registerStatementVarDecls(BugReport &BR,
|
||||
const Stmt *S,
|
||||
|
@ -2349,6 +2381,10 @@ bool ConditionBRVisitor::isPieceMessageGeneric(
|
|||
Piece->getString() == GenericFalseMessage;
|
||||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Implementation of LikelyFalsePositiveSuppressionBRVisitor.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
void LikelyFalsePositiveSuppressionBRVisitor::finalizeVisitor(
|
||||
BugReporterContext &BRC, const ExplodedNode *N, BugReport &BR) {
|
||||
// Here we suppress false positives coming from system headers. This list is
|
||||
|
@ -2431,6 +2467,10 @@ void LikelyFalsePositiveSuppressionBRVisitor::finalizeVisitor(
|
|||
}
|
||||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Implementation of UndefOrNullArgVisitor.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
std::shared_ptr<PathDiagnosticPiece>
|
||||
UndefOrNullArgVisitor::VisitNode(const ExplodedNode *N,
|
||||
BugReporterContext &BRC, BugReport &BR) {
|
||||
|
@ -2481,6 +2521,10 @@ UndefOrNullArgVisitor::VisitNode(const ExplodedNode *N,
|
|||
return nullptr;
|
||||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Implementation of FalsePositiveRefutationBRVisitor.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
FalsePositiveRefutationBRVisitor::FalsePositiveRefutationBRVisitor()
|
||||
: Constraints(ConstraintRangeTy::Factory().getEmptyMap()) {}
|
||||
|
||||
|
@ -2540,6 +2584,16 @@ FalsePositiveRefutationBRVisitor::VisitNode(const ExplodedNode *N,
|
|||
return nullptr;
|
||||
}
|
||||
|
||||
void FalsePositiveRefutationBRVisitor::Profile(
|
||||
llvm::FoldingSetNodeID &ID) const {
|
||||
static int Tag = 0;
|
||||
ID.AddPointer(&Tag);
|
||||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Implementation of TagVisitor.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
int NoteTag::Kind = 0;
|
||||
|
||||
void TagVisitor::Profile(llvm::FoldingSetNodeID &ID) const {
|
||||
|
@ -2565,9 +2619,3 @@ TagVisitor::VisitNode(const ExplodedNode *N, BugReporterContext &BRC,
|
|||
|
||||
return nullptr;
|
||||
}
|
||||
|
||||
void FalsePositiveRefutationBRVisitor::Profile(
|
||||
llvm::FoldingSetNodeID &ID) const {
|
||||
static int Tag = 0;
|
||||
ID.AddPointer(&Tag);
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue