This revision was automatically updated to reflect the committed changes.
Closed by commit rL311880: [StaticAnalyzer] LoopUnrolling fixes (authored by
szepet).
Changed prior to commit:
https://reviews.llvm.org/D37103?vs=112824&id=112872#toc
Repository:
rL LLVM
https://reviews.llvm.org/D3710
NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.
LGTM!
https://reviews.llvm.org/D37103
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commit
szepet updated this revision to Diff 112824.
szepet added a comment.
Update based on comments.
https://reviews.llvm.org/D37103
Files:
lib/StaticAnalyzer/Core/AnalysisManager.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp
lib/StaticAnalyzer/Core/LoopUnrolling.cpp
test/Analysis/loop-unrolling
zaks.anna added inline comments.
Comment at: lib/StaticAnalyzer/Core/AnalyzerOptions.cpp:190
+ /* Default = */ false);
+ return shouldUnrollLoops() || explicitlyIncludeLoopExit;
}
I would rather keep this method
