[PATCH] D37103: [StaticAnalyzer] LoopUnrolling fixes
Anna Zaks via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Sun Aug 27 00:54:59 PDT 2017
zaks.anna added inline comments.
================
Comment at: lib/StaticAnalyzer/Core/AnalyzerOptions.cpp:190
+ /* Default = */ false);
+ return shouldUnrollLoops() || explicitlyIncludeLoopExit;
}
----------------
I would rather keep this method as is and add the extra logic elsewhere (ex: the place where includeLoopExitInCFG is used). To me, AnalyzerOptions::includeLoopExitInCFG() returns the value of the corresponding parameter and I would not expect it to use anything else.
================
Comment at: test/Analysis/loop-unrolling.cpp:276
+
+int loopexit_while_empty_loopstack() {
+ if (getNum())
----------------
nit: "loop" "exit" and "loop" "stack" are separate words, so consider using "_" to separate them.
https://reviews.llvm.org/D37103
More information about the cfe-commits
mailing list