diff options
| author | Peter Szecsi <szepet95@gmail.com> | 2017-08-19 10:24:52 +0000 |
|---|---|---|
| committer | Peter Szecsi <szepet95@gmail.com> | 2017-08-19 10:24:52 +0000 |
| commit | 8de103f2f0aab1952d9cb9387a03d84a5b05c63e (patch) | |
| tree | e7e14d85aa2220526431f0b08b50161e69c3c3f3 /clang/lib/StaticAnalyzer/Frontend/ModelInjector.h | |
| parent | c58ac104d1043033c832b7150d9ecdd0fdde42bb (diff) | |
| download | bcm5719-llvm-8de103f2f0aab1952d9cb9387a03d84a5b05c63e.tar.gz bcm5719-llvm-8de103f2f0aab1952d9cb9387a03d84a5b05c63e.zip | |
[StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is escaped before the loop
Adding escape check for the counter variable of the loop.
It is achieved by jumping back on the ExplodedGraph to its declStmt.
Differential Revision: https://reviews.llvm.org/D35657
llvm-svn: 311234
Diffstat (limited to 'clang/lib/StaticAnalyzer/Frontend/ModelInjector.h')
0 files changed, 0 insertions, 0 deletions
