]> granicus.if.org Git - clang/commit
Reapply r251621 "[Analyzer] Widening loops which do not exit"
authorSean Eveson <eveson.sean@gmail.com>
Fri, 30 Oct 2015 15:23:57 +0000 (15:23 +0000)
committerSean Eveson <eveson.sean@gmail.com>
Fri, 30 Oct 2015 15:23:57 +0000 (15:23 +0000)
commit6edd89e30a63ba743767f7ccdfea642e87ce4460
treeeee6c3b6d893f3cb7c586c3965b8f02d1034b5a4
parentc8566d0238567b2311e5967ceb51630051fa389f
Reapply r251621 "[Analyzer] Widening loops which do not exit"

It was not the cause of the build bot failure.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@251702 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
include/clang/StaticAnalyzer/Core/PathSensitive/LoopWidening.h [new file with mode: 0644]
lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
lib/StaticAnalyzer/Core/CMakeLists.txt
lib/StaticAnalyzer/Core/ExprEngine.cpp
lib/StaticAnalyzer/Core/LoopWidening.cpp [new file with mode: 0644]
test/Analysis/analyzer-config.c
test/Analysis/analyzer-config.cpp
test/Analysis/loop-widening.c [new file with mode: 0644]