ΒΆbool shouldCompletelyUnroll(
const clang::Stmt* LoopStmt,
clang::ASTContext& ASTCtx,
clang::ento::ExplodedNode* Pred,
unsigned int& maxStep)
bool shouldCompletelyUnroll(
const clang::Stmt* LoopStmt,
clang::ASTContext& ASTCtx,
clang::ento::ExplodedNode* Pred,
unsigned int& maxStep)Declared at: clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp:248
Parameters
- const clang::Stmt* LoopStmt
- clang::ASTContext& ASTCtx
- clang::ento::ExplodedNode* Pred
- unsigned int& maxStep