diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-10-04 14:54:27 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-10-04 14:54:27 +0000 |
| commit | 757a32b5b3884264f40a0219109ae5110e982227 (patch) | |
| tree | b0a3b7ffd96c17ea585eccfe6137a2418f47ce65 /clang/lib/Basic/IdentifierTable.cpp | |
| parent | 30ffb6fcb643b121543a67acc8e5f772a17b0d23 (diff) | |
| download | llvm-757a32b5b3884264f40a0219109ae5110e982227.zip llvm-757a32b5b3884264f40a0219109ae5110e982227.tar.gz llvm-757a32b5b3884264f40a0219109ae5110e982227.tar.bz2 | |
[FIX] Approximate non-affine loops correctly
Before isValidCFG() could hide the fact that a loop is non-affine by
over-approximation. This is problematic if a subregion of the loop contains
an exit/latch block and is over-approximated. Now we do not over-approximate
in the isValidCFG function if we check loop control. If such control is
non-affine the whole loop is over-approximated, not only a subregion.
llvm-svn: 249273
Diffstat (limited to 'clang/lib/Basic/IdentifierTable.cpp')
0 files changed, 0 insertions, 0 deletions