/external/clang/lib/StaticAnalyzer/Checkers/ |
D | ExprInspectionChecker.cpp | 35 void reportBug(llvm::StringRef Msg, CheckerContext &C) const; 101 void ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug() function in ExprInspectionChecker 122 reportBug(getArgumentValueString(CE, C), C); in analyzerEval() 127 reportBug("REACHABLE", C); in analyzerWarnIfReached() 142 reportBug(getArgumentValueString(CE, C), C); in analyzerCheckInlined() 148 reportBug("Missing argument for explaining", C); in analyzerExplain() 152 reportBug(Ex.Visit(V), C); in analyzerExplain() 158 reportBug("Missing region for obtaining extent", C); in analyzerGetExtent() 162 reportBug("Obtaining extent of a non-region", C); in analyzerGetExtent() 193 reportBug("SYMBOL DEAD", C); in checkDeadSymbols()
|
D | VLASizeChecker.cpp | 35 void reportBug(VLASize_Kind Kind, 44 void VLASizeChecker::reportBug(VLASize_Kind Kind, in reportBug() function in VLASizeChecker 100 reportBug(VLA_Garbage, SE, state, C); in checkPreStmt() 111 reportBug(VLA_Tainted, SE, nullptr, C); in checkPreStmt() 122 reportBug(VLA_Zero, SE, stateZero, C); in checkPreStmt() 147 reportBug(VLA_Negative, SE, state, C); in checkPreStmt()
|
D | DivZeroChecker.cpp | 27 void reportBug(const char *Msg, 35 void DivZeroChecker::reportBug(const char *Msg, in reportBug() function in DivZeroChecker 75 reportBug("Division by zero", stateZero, C); in checkPreStmt() 81 reportBug("Division by a tainted value, possibly zero", stateZero, C); in checkPreStmt()
|
D | TestAfterDivZeroChecker.cpp | 83 void reportBug(SVal Val, CheckerContext &C) const; 169 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { in reportBug() function in TestAfterDivZeroChecker 231 reportBug(Val, C); in checkBranchCondition() 241 reportBug(Val, C); in checkBranchCondition() 245 reportBug(Val, C); in checkBranchCondition() 253 reportBug(Val, C); in checkBranchCondition() 258 reportBug(Val, C); in checkBranchCondition()
|
D | VforkChecker.cpp | 56 void reportBug(const char *What, CheckerContext &C, 121 void VforkChecker::reportBug(const char *What, CheckerContext &C, in reportBug() function in VforkChecker 188 reportBug("This function call", C); in checkPreCall() 206 reportBug("This assignment", C); in checkBind() 213 reportBug("Return", C, "call _exit() instead"); in checkPreStmt()
|
D | DereferenceChecker.cpp | 37 void reportBug(ProgramStateRef State, const Stmt *S, CheckerContext &C) const; 114 void DereferenceChecker::reportBug(ProgramStateRef State, const Stmt *S, in reportBug() function in DereferenceChecker 223 reportBug(nullState, expr, C); in checkLocation() 265 reportBug(StNull, expr, C); in checkBind()
|
D | NullabilityChecker.cpp | 177 void reportBug(StringRef Msg, ErrorKind Error, ExplodedNode *N, in reportBug() function in __anon6c84c66b0111::NullabilityChecker 470 reportBug(Msg, Error, N, Region, C.getBugReporter(), ValueExpr); in reportBugIfInvariantHolds() 524 reportBug("Nullable pointer is dereferenced", in checkEvent() 527 reportBug("Nullable pointer is passed to a callee that requires a " in checkEvent()
|