[PATCH] D34260: [StaticAnalyzer] Completely unrolling specific loops with known bound option

[Peter Szecsi via Phabricator via cfe-commits]

szepet added a comment.

In https://reviews.llvm.org/D34260#819721, @NoQ wrote:

> ...  and add the extra run-line that'd show you the backtrace. We made changes, so the issue might have been wiped out accidentally (or maybe you're actually right!), and if it wasn't, at least we'd have the backtrace for the crash.


Hmm I removed the statistics checks so I guess it should print the stacktrace in case of a crash anyway. Am I right? (The whole point of the statistics check was to count the number of loops unrolled but  'clang_analyzer_numTimesReached();' is much more powerful.


https://reviews.llvm.org/D34260