• Home
  • Raw
  • Download

Lines Matching refs:reportBug

56   ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C,
58 ExplodedNode *reportBug(llvm::StringRef Msg, BugReporter &BR,
149 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug() function in ExprInspectionChecker
153 reportBug(Msg, C.getBugReporter(), N, ExprVal); in reportBug()
157 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug() function in ExprInspectionChecker
184 reportBug(getArgumentValueString(CE, C), C); in analyzerEval()
189 reportBug("REACHABLE", C); in analyzerWarnIfReached()
213 reportBug(getArgumentValueString(CE, C), C); in analyzerCheckInlined()
219 reportBug("Missing argument for explaining", C); in analyzerExplain()
225 reportBug(Ex.Visit(V), C); in analyzerExplain()
231 reportBug("Missing argument for dumping", C); in analyzerDump()
240 reportBug(OS.str(), C); in analyzerDump()
246 reportBug("Missing region for obtaining extent", C); in analyzerGetExtent()
252 reportBug("Obtaining extent of a non-region", C); in analyzerGetExtent()
293 if (ExplodedNode *BugNode = reportBug("SYMBOL DEAD", C)) in checkDeadSymbols()
313 reportBug(llvm::to_string(NumTimesReached), BR, N); in checkEndAnalysis()
332 reportBug(HashContent, C); in analyzerHashDump()
338 reportBug("clang_analyzer_denote() requires a symbol and a string literal", in analyzerDenote()
345 reportBug("Not a symbol", C); in analyzerDenote()
351 reportBug("Not a string literal", C); in analyzerDenote()
414 reportBug("clang_analyzer_express() requires a symbol", C); in analyzerExpress()
421 reportBug("Not a symbol", C); in analyzerExpress()
428 reportBug("Unable to express", C); in analyzerExpress()
432 reportBug(*Str, C, ArgVal); in analyzerExpress()
438 reportBug("clang_analyzer_isTainted() requires exactly one argument", C); in analyzerIsTainted()
443 reportBug(IsTainted ? "YES" : "NO", C); in analyzerIsTainted()