clang
6.0.0
|
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ParentMap.h"
#include "clang/AST/StmtCXX.h"
#include "clang/AST/StmtObjC.h"
#include "clang/Analysis/CFG.h"
#include "clang/Analysis/CFGStmtMap.h"
#include "clang/Analysis/ProgramPoint.h"
#include "clang/Basic/SourceManager.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/BugReporter/PathDiagnostic.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/IntrusiveRefCntPtr.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Support/raw_ostream.h"
#include <memory>
#include <queue>
Go to the source code of this file.
Macros | |
#define | DEBUG_TYPE "BugReporter" |
Typedefs | |
typedef llvm::DenseMap< const PathPieces *, const LocationContext * > | LocationContextMap |
A map from PathDiagnosticPiece to the LocationContext of the inlined function call it represents. More... | |
typedef std::pair< PathDiagnosticCallPiece *, const ExplodedNode * > | StackDiagPair |
typedef SmallVector< StackDiagPair, 6 > | StackDiagVector |
typedef llvm::DenseSet< const Expr * > | InterestingExprs |
typedef llvm::DenseSet< const PathDiagnosticCallPiece * > | OptimizedCallsSet |
Functions | |
STATISTIC (MaxBugClassSize, "The maximum number of bug reports in the same equivalence class") | |
STATISTIC (MaxValidBugClassSize, "The maximum number of bug reports in the same equivalence class " "where at least one report is valid (not suppressed)") | |
static const Stmt * | GetPreviousStmt (const ExplodedNode *N) |
static const Stmt * | GetCurrentOrPreviousStmt (const ExplodedNode *N) |
static PathDiagnosticEventPiece * | eventsDescribeSameCondition (PathDiagnosticEventPiece *X, PathDiagnosticEventPiece *Y) |
static void | removeRedundantMsgs (PathPieces &path) |
An optimization pass over PathPieces that removes redundant diagnostics generated by both ConditionBRVisitor and TrackConstraintBRVisitor. More... | |
static bool | removeUnneededCalls (PathPieces &pieces, BugReport *R, LocationContextMap &LCM) |
Recursively scan through a path and prune out calls and macros pieces that aren't needed. More... | |
static bool | hasImplicitBody (const Decl *D) |
Returns true if the given decl has been implicitly given a body, either by the analyzer or by the compiler proper. More... | |
static void | adjustCallLocations (PathPieces &Pieces, PathDiagnosticLocation *LastCallLocation=nullptr) |
Recursively scan through a path and make sure that all call pieces have valid locations. More... | |
static void | removeEdgesToDefaultInitializers (PathPieces &Pieces) |
Remove edges in and out of C++ default initializer expressions. More... | |
static void | removePiecesWithInvalidLocations (PathPieces &Pieces) |
Remove all pieces with invalid locations as these cannot be serialized. More... | |
static const Stmt * | getEnclosingParent (const Stmt *S, const ParentMap &PM) |
static PathDiagnosticLocation | getEnclosingStmtLocation (const Stmt *S, SourceManager &SMgr, const ParentMap &P, const LocationContext *LC, bool allowNestedContexts) |
static bool | GenerateVisitorsOnlyPathDiagnostic (PathDiagnostic &PD, PathDiagnosticBuilder &PDB, const ExplodedNode *N, ArrayRef< std::unique_ptr< BugReporterVisitor >> visitors) |
static void | updateStackPiecesWithMessage (PathDiagnosticPiece &P, StackDiagVector &CallStack) |
static void | CompactPathDiagnostic (PathPieces &path, const SourceManager &SM) |
CompactPathDiagnostic - This function postprocesses a PathDiagnostic object and collapses PathDiagosticPieces that are expanded by macros. More... | |
static bool | GenerateMinimalPathDiagnostic (PathDiagnostic &PD, PathDiagnosticBuilder &PDB, const ExplodedNode *N, LocationContextMap &LCM, ArrayRef< std::unique_ptr< BugReporterVisitor >> visitors) |
static bool | IsControlFlowExpr (const Stmt *S) |
static void | reversePropagateIntererstingSymbols (BugReport &R, InterestingExprs &IE, const ProgramState *State, const Expr *Ex, const LocationContext *LCtx) |
static void | reversePropagateInterestingSymbols (BugReport &R, InterestingExprs &IE, const ProgramState *State, const LocationContext *CalleeCtx, const LocationContext *CallerCtx) |
static bool | isLoop (const Stmt *Term) |
static bool | isJumpToFalseBranch (const BlockEdge *BE) |
static bool | isLoopJumpPastBody (const Stmt *Term, const BlockEdge *BE) |
Return true if the terminator is a loop and the destination is the false branch. More... | |
static bool | isContainedByStmt (ParentMap &PM, const Stmt *S, const Stmt *SubS) |
static const Stmt * | getStmtBeforeCond (ParentMap &PM, const Stmt *Term, const ExplodedNode *N) |
static bool | isInLoopBody (ParentMap &PM, const Stmt *S, const Stmt *Term) |
static bool | GenerateExtensivePathDiagnostic (PathDiagnostic &PD, PathDiagnosticBuilder &PDB, const ExplodedNode *N, LocationContextMap &LCM, ArrayRef< std::unique_ptr< BugReporterVisitor >> visitors) |
static void | addEdgeToPath (PathPieces &path, PathDiagnosticLocation &PrevLoc, PathDiagnosticLocation NewLoc, const LocationContext *LC) |
Adds a sanitized control-flow diagnostic edge to a path. More... | |
static const Stmt * | getTerminatorCondition (const CFGBlock *B) |
A customized wrapper for CFGBlock::getTerminatorCondition() which returns the element for ObjCForCollectionStmts. More... | |
static bool | GenerateAlternateExtensivePathDiagnostic (PathDiagnostic &PD, PathDiagnosticBuilder &PDB, const ExplodedNode *N, LocationContextMap &LCM, ArrayRef< std::unique_ptr< BugReporterVisitor >> visitors) |
static const Stmt * | getLocStmt (PathDiagnosticLocation L) |
static const Stmt * | getStmtParent (const Stmt *S, const ParentMap &PM) |
static bool | isConditionForTerminator (const Stmt *S, const Stmt *Cond) |
static bool | isIncrementOrInitInForLoop (const Stmt *S, const Stmt *FL) |
static void | addContextEdges (PathPieces &pieces, SourceManager &SM, const ParentMap &PM, const LocationContext *LCtx) |
Adds synthetic edges from top-level statements to their subexpressions. More... | |
static void | simplifySimpleBranches (PathPieces &pieces) |
Move edges from a branch condition to a branch target when the condition is simple. More... | |
static Optional< size_t > | getLengthOnSingleLine (SourceManager &SM, SourceRange Range) |
Returns the number of bytes in the given (character-based) SourceRange. More... | |
static Optional< size_t > | getLengthOnSingleLine (SourceManager &SM, const Stmt *S) |
static void | removeContextCycles (PathPieces &Path, SourceManager &SM, ParentMap &PM) |
Eliminate two-edge cycles created by addContextEdges(). More... | |
static bool | lexicalContains (ParentMap &PM, const Stmt *X, const Stmt *Y) |
Return true if X is contained by Y. More... | |
static void | removePunyEdges (PathPieces &path, SourceManager &SM, ParentMap &PM) |
static void | removeIdenticalEvents (PathPieces &path) |
static bool | optimizeEdges (PathPieces &path, SourceManager &SM, OptimizedCallsSet &OCS, LocationContextMap &LCM) |
static void | dropFunctionEntryEdge (PathPieces &Path, LocationContextMap &LCM, SourceManager &SM) |
Drop the very first edge in a path, which should be a function entry edge. More... | |
static const CFGBlock * | findBlockForNode (const ExplodedNode *N) |
static bool | isImmediateSinkBlock (const CFGBlock *Blk) |
static bool | isInevitablySinking (const ExplodedNode *N) |
static BugReport * | FindReportInEquivalenceClass (BugReportEquivClass &EQ, SmallVectorImpl< BugReport *> &bugReports) |
Variables | |
static const char | StrEnteringLoop [] = "Entering loop body" |
static const char | StrLoopBodyZero [] = "Loop body executed 0 times" |
static const char | StrLoopRangeEmpty [] |
static const char | StrLoopCollectionEmpty [] |
#define DEBUG_TYPE "BugReporter" |
Definition at line 42 of file BugReporter.cpp.
typedef llvm::DenseSet<const Expr *> InterestingExprs |
Definition at line 1259 of file BugReporter.cpp.
typedef llvm::DenseMap<const PathPieces *, const LocationContext *> LocationContextMap |
A map from PathDiagnosticPiece to the LocationContext of the inlined function call it represents.
Definition at line 156 of file BugReporter.cpp.
typedef llvm::DenseSet<const PathDiagnosticCallPiece *> OptimizedCallsSet |
Definition at line 1991 of file BugReporter.cpp.
typedef std::pair<PathDiagnosticCallPiece*, const ExplodedNode*> StackDiagPair |
Definition at line 532 of file BugReporter.cpp.
typedef SmallVector<StackDiagPair, 6> StackDiagVector |
Definition at line 533 of file BugReporter.cpp.
|
static |
Adds synthetic edges from top-level statements to their subexpressions.
This avoids a "swoosh" effect, where an edge from a top-level statement A points to a sub-expression B.1 that's not at the start of B. In these cases, we'd like to see an edge from A to B, then another one from B to B.1.
Definition at line 1998 of file BugReporter.cpp.
|
static |
Adds a sanitized control-flow diagnostic edge to a path.
Definition at line 1611 of file BugReporter.cpp.
References clang::ento::PathDiagnosticLocation::asLocation(), clang::ento::PathDiagnosticLocation::asStmt(), clang::SourceLocation::isInvalid(), clang::SourceLocation::isValid(), and clang::ento::PathDiagnosticLocation::isValid().
Referenced by GenerateAlternateExtensivePathDiagnostic().
|
static |
Recursively scan through a path and make sure that all call pieces have valid locations.
Definition at line 226 of file BugReporter.cpp.
|
static |
CompactPathDiagnostic - This function postprocesses a PathDiagnostic object and collapses PathDiagosticPieces that are expanded by macros.
Definition at line 2992 of file BugReporter.cpp.
|
static |
Drop the very first edge in a path, which should be a function entry edge.
If the first edge is not a function entry edge (say, because the first statement had an invalid source location), this function does nothing.
Definition at line 2534 of file BugReporter.cpp.
References clang::ento::PathDiagnosticLocation::createBegin().
|
static |
Definition at line 79 of file BugReporter.cpp.
References clang::ento::PathDiagnosticSpotPiece::getLocation(), clang::ento::TrackConstraintBRVisitor::getTag(), clang::ento::ConditionBRVisitor::getTag(), clang::ento::PathDiagnosticPiece::getTag(), clang::ento::ConditionBRVisitor::isPieceMessageGeneric(), and X.
Referenced by removeRedundantMsgs().
|
static |
Definition at line 3311 of file BugReporter.cpp.
References clang::LocationContext::getAnalysisDeclContext(), clang::ProgramPoint::getAs(), clang::CFGStmtMap::getBlock(), clang::AnalysisDeclContext::getCFGStmtMap(), clang::ento::ExplodedNode::getLocation(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::PathDiagnosticLocation::getStmt(), and P.
Referenced by isInevitablySinking().
|
static |
Definition at line 3397 of file BugReporter.cpp.
|
static |
Definition at line 1654 of file BugReporter.cpp.
References addEdgeToPath(), clang::ento::PathDiagnosticCallPiece::construct(), clang::ento::PathDiagnosticLocation::createBegin(), clang::ento::PathDiagnosticLocation::createEndBrace(), clang::ento::PathDiagnostic::getActivePath(), clang::ProgramPoint::getAs(), clang::LocationContext::getDecl(), clang::ento::ExplodedNode::getFirstPred(), clang::ento::ExplodedNode::getLocation(), clang::ento::PathDiagnosticCallPiece::getLocation(), clang::ento::PathDiagnostic::getLocation(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::ExplodedNode::getState(), getStmtBeforeCond(), getTerminatorCondition(), clang::Decl::hasBody(), clang::ento::PathDiagnosticLocation::invalidate(), isInLoopBody(), isJumpToFalseBranch(), isLoop(), clang::ento::BugReport::isValid(), clang::ento::PathDiagnostic::isWithinCall(), P, clang::ento::PathDiagnosticCallPiece::path, clang::ento::PathDiagnostic::popActivePath(), clang::ento::PathDiagnostic::pushActivePath(), reversePropagateIntererstingSymbols(), reversePropagateInterestingSymbols(), clang::ento::PathDiagnosticCallPiece::setCallee(), SM, StrEnteringLoop, StrLoopBodyZero, StrLoopCollectionEmpty, StrLoopRangeEmpty, and updateStackPiecesWithMessage().
|
static |
Definition at line 1411 of file BugReporter.cpp.
References clang::ento::PathDiagnosticLocation::asStmt(), clang::ento::PathDiagnosticCallPiece::construct(), clang::ento::PathDiagnosticLocation::createBegin(), clang::ento::PathDiagnosticLocation::createEndBrace(), clang::ento::PathDiagnostic::getActivePath(), clang::ProgramPoint::getAs(), clang::ento::ExplodedNode::getFirstPred(), clang::ento::ExplodedNode::getLocation(), clang::ento::PathDiagnosticCallPiece::getLocation(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::ExplodedNode::getState(), getStmtBeforeCond(), clang::CFGBlock::getTerminator(), clang::CFGBlock::getTerminatorCondition(), IsControlFlowExpr(), isInLoopBody(), isLoopJumpPastBody(), clang::ento::PathDiagnostic::isWithinCall(), P, clang::ento::PathDiagnosticCallPiece::path, clang::ento::PathDiagnostic::popActivePath(), clang::ento::ExplodedNode::pred_begin(), clang::ento::ExplodedNode::pred_empty(), clang::ento::PathDiagnostic::pushActivePath(), reversePropagateIntererstingSymbols(), reversePropagateInterestingSymbols(), clang::ento::PathDiagnosticCallPiece::setCallee(), clang::ast_matchers::stmt, and updateStackPiecesWithMessage().
|
static |
Definition at line 559 of file BugReporter.cpp.
References clang::ento::PathDiagnosticLocation::asLocation(), clang::ento::PathDiagnosticCallPiece::construct(), clang::ento::PathDiagnosticLocation::createBegin(), End, clang::ento::PathDiagnostic::getActivePath(), clang::ProgramPoint::getAs(), clang::FullSourceLoc::getExpansionLineNumber(), clang::ento::ExplodedNode::getFirstPred(), clang::CFGBlock::getLabel(), clang::ento::ExplodedNode::getLocation(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::PathDiagnosticLocation::getNextStmt(), clang::Stmt::getStmtClass(), clang::CFGBlock::getTerminator(), clang::ento::PathDiagnostic::isWithinCall(), P, clang::ento::PathDiagnosticCallPiece::path, clang::ento::PathDiagnostic::popActivePath(), clang::ento::ExplodedNode::pred_begin(), clang::ento::ExplodedNode::pred_empty(), clang::ento::PathDiagnostic::pushActivePath(), clang::ento::PathDiagnosticCallPiece::setCallee(), and clang::T.
|
static |
Definition at line 508 of file BugReporter.cpp.
References clang::ento::ExplodedNode::getFirstPred(), and clang::ento::BugReport::isValid().
|
inlinestatic |
Definition at line 67 of file BugReporter.cpp.
Referenced by clang::ento::BugReport::Profile().
Definition at line 409 of file BugReporter.cpp.
|
static |
Definition at line 432 of file BugReporter.cpp.
|
static |
Returns the number of bytes in the given (character-based) SourceRange.
If the locations in the range are not on the same line, returns None.
Note that this does not do a precise user-visible character or column count.
Definition at line 2151 of file BugReporter.cpp.
References clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), clang::SourceManager::getExpansionLoc(), clang::SourceManager::getExpansionRange(), and clang::SourceManager::getFileID().
Referenced by getLengthOnSingleLine().
|
static |
Definition at line 2181 of file BugReporter.cpp.
References getLengthOnSingleLine(), and clang::Stmt::getSourceRange().
|
static |
Definition at line 1913 of file BugReporter.cpp.
References clang::ento::PathDiagnosticLocation::asStmt(), and clang::ento::PathDiagnosticLocation::isValid().
Referenced by clang::ento::PathDiagnosticCallPiece::dump().
|
static |
Definition at line 58 of file BugReporter.cpp.
References clang::ento::ExplodedNode::getFirstPred().
Referenced by clang::ento::BugReport::getStmt().
|
static |
Definition at line 1360 of file BugReporter.cpp.
References clang::ProgramPoint::getAs(), clang::ento::ExplodedNode::getLocation(), and isContainedByStmt().
Referenced by GenerateAlternateExtensivePathDiagnostic(), and GenerateExtensivePathDiagnostic().
Definition at line 1919 of file BugReporter.cpp.
References clang::ParentMap::getParentIgnoreParens().
A customized wrapper for CFGBlock::getTerminatorCondition() which returns the element for ObjCForCollectionStmts.
Definition at line 1639 of file BugReporter.cpp.
References clang::CFGBlock::getTerminatorCondition().
Referenced by GenerateAlternateExtensivePathDiagnostic(), clang::CFGBlock::getTerminator(), and clang::CFGBlock::getTerminatorCondition().
Returns true if the given decl has been implicitly given a body, either by the analyzer or by the compiler proper.
Definition at line 218 of file BugReporter.cpp.
References clang::Decl::hasBody(), and clang::Decl::isImplicit().
Definition at line 1940 of file BugReporter.cpp.
References clang::Stmt::getStmtClass().
Definition at line 1351 of file BugReporter.cpp.
References clang::ParentMap::getParent().
Referenced by getStmtBeforeCond(), and isInLoopBody().
Definition at line 913 of file BugReporter.cpp.
Referenced by GenerateExtensivePathDiagnostic().
Definition at line 3330 of file BugReporter.cpp.
References clang::CFGBlock::begin(), clang::CFGBlock::end(), and clang::CFGBlock::hasNoReturnElement().
Referenced by isInevitablySinking().
Definition at line 1981 of file BugReporter.cpp.
|
static |
Definition at line 3355 of file BugReporter.cpp.
References findBlockForNode(), clang::ento::ExplodedNode::getCFG(), clang::CFG::getExit(), isImmediateSinkBlock(), and clang::CFGBlock::succs().
Definition at line 1374 of file BugReporter.cpp.
References clang::CXXForRangeStmt::getInc(), clang::Stmt::getStmtClass(), and isContainedByStmt().
Referenced by GenerateAlternateExtensivePathDiagnostic(), and GenerateExtensivePathDiagnostic().
Definition at line 1335 of file BugReporter.cpp.
References clang::BlockEdge::getDst(), clang::BlockEdge::getSrc(), clang::CFGBlock::succ_begin(), and clang::CFGBlock::succ_size().
Referenced by GenerateAlternateExtensivePathDiagnostic(), and isLoopJumpPastBody().
Definition at line 1322 of file BugReporter.cpp.
References clang::Stmt::getStmtClass().
Referenced by GenerateAlternateExtensivePathDiagnostic(), and isLoopJumpPastBody().
Return true if the terminator is a loop and the destination is the false branch.
Definition at line 1343 of file BugReporter.cpp.
References isJumpToFalseBranch(), and isLoop().
Referenced by GenerateExtensivePathDiagnostic().
Return true if X is contained by Y.
Definition at line 2259 of file BugReporter.cpp.
References clang::ParentMap::getParent().
|
static |
Definition at line 2350 of file BugReporter.cpp.
References clang::LocationContext::getParentMap().
|
static |
Eliminate two-edge cycles created by addContextEdges().
Once all the context edges are in place, there are plenty of cases where there's a single edge from a top-level statement to a subexpression, followed by a single path note, and then a reverse edge to get back out to the top level. If the statement is simple enough, the subexpression edges just add noise and make it harder to understand what's going on.
This function only removes edges in pairs, because removing only one edge might leave other edges dangling.
This will not remove edges in more complicated situations:
Definition at line 2202 of file BugReporter.cpp.
|
static |
Remove edges in and out of C++ default initializer expressions.
These are for fields that have in-class initializers, as opposed to being initialized explicitly in a constructor or braced list.
Definition at line 260 of file BugReporter.cpp.
|
static |
Definition at line 2327 of file BugReporter.cpp.
|
static |
Remove all pieces with invalid locations as these cannot be serialized.
We might have pieces with invalid locations as a result of inlining Body Farm generated functions.
Definition at line 294 of file BugReporter.cpp.
|
static |
Definition at line 2271 of file BugReporter.cpp.
|
static |
An optimization pass over PathPieces that removes redundant diagnostics generated by both ConditionBRVisitor and TrackConstraintBRVisitor.
Both BugReporterVisitors use different methods to generate diagnostics, with one capable of emitting diagnostics in some cases but not in others. This can lead to redundant diagnostic pieces at the same point in a path.
Definition at line 105 of file BugReporter.cpp.
References clang::ento::PathDiagnosticPiece::Call, clang::ento::PathDiagnosticPiece::ControlFlow, clang::ento::PathDiagnosticPiece::Event, eventsDescribeSameCondition(), clang::ento::PathDiagnosticPiece::Macro, and clang::ento::PathDiagnosticPiece::Note.
|
static |
Recursively scan through a path and prune out calls and macros pieces that aren't needed.
Return true if afterwards the path contains "interesting stuff" which means it shouldn't be pruned from the parent path.
Definition at line 161 of file BugReporter.cpp.
References clang::ento::PathDiagnosticPiece::Call, clang::ento::PathDiagnosticPiece::ControlFlow, clang::ento::PathDiagnosticPiece::Event, clang::ento::BugReport::isInteresting(), clang::ento::PathDiagnosticPiece::Macro, and clang::ento::PathDiagnosticPiece::Note.
|
static |
Definition at line 1261 of file BugReporter.cpp.
References clang::Stmt::children(), clang::Stmt::getStmtClass(), clang::ento::ProgramState::getSVal(), clang::ento::BugReport::isInteresting(), and clang::ento::BugReport::markInteresting().
Referenced by GenerateAlternateExtensivePathDiagnostic(), and GenerateExtensivePathDiagnostic().
|
static |
Definition at line 1291 of file BugReporter.cpp.
References clang::StackFrameContext::getCallSite(), clang::LocationContext::getCurrentStackFrame(), clang::LocationContext::getDecl(), clang::ento::ProgramState::getLValue(), clang::ento::ProgramState::getRawSVal(), and clang::ento::BugReport::isInteresting().
Referenced by GenerateAlternateExtensivePathDiagnostic(), and GenerateExtensivePathDiagnostic().
|
static |
Move edges from a branch condition to a branch target when the condition is simple.
This restructures some of the work of addContextEdges. That function creates edges this may destroy, but they work together to create a more aesthetically set of edges around branches. After the call to addContextEdges, we may have (1) an edge to the branch, (2) an edge from the branch to the branch condition, and (3) an edge from the branch condition to the branch target. We keep (1), but may wish to remove (2) and move the source of (3) to the branch if the branch condition is simple.
Definition at line 2080 of file BugReporter.cpp.
STATISTIC | ( | MaxBugClassSize | , |
"The maximum number of bug reports in the same equivalence class" | |||
) |
STATISTIC | ( | MaxValidBugClassSize | , |
"The maximum number of bug reports in the same equivalence class " "where at least one report is valid (not suppressed)" | |||
) |
|
static |
Definition at line 535 of file BugReporter.cpp.
Referenced by GenerateAlternateExtensivePathDiagnostic(), and GenerateExtensivePathDiagnostic().
|
static |
Definition at line 1647 of file BugReporter.cpp.
Referenced by GenerateAlternateExtensivePathDiagnostic().
|
static |
Definition at line 1648 of file BugReporter.cpp.
Referenced by GenerateAlternateExtensivePathDiagnostic().
|
static |
Definition at line 1651 of file BugReporter.cpp.
Referenced by GenerateAlternateExtensivePathDiagnostic().
|
static |
Definition at line 1649 of file BugReporter.cpp.
Referenced by GenerateAlternateExtensivePathDiagnostic().