| commit | fa13bb45fb67673458ed9f6df34058ceb6d1f0f0 | |
| author | Michael Kruse <llvm@meinersbur.de> | |
| Fri, 11 Sep 2015 13:45:05 +0000 (11 13:45 +0000) | ||
| committer | Michael Kruse <llvm@meinersbur.de> | |
| Fri, 11 Sep 2015 13:45:05 +0000 (11 13:45 +0000) | ||
| tree | 48d263a86e19829996f6dc9a4e71f97284de9c47 | treesnapshot (tar.gz zip) |
| parent | 9b976e06084363a9350ced4b897ba08e1913ddd9 | commitdiff |
Fix out-of-range access in test case
The function use_after_scop would iterate from 0 to 1024 and accessing element A[1024] where A has only valid indexes from 0 to 1023. Polly detects the situation of unconditionally undefined behavior and bail out in ScopInfo as non-feasible for optimization.
Other tests add impossible context assumptions as well, hance might show the same problem.
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@247412 91177308-0d34-0410-b5e6-96231b3b80d8
The function use_after_scop would iterate from 0 to 1024 and accessing element A[1024] where A has only valid indexes from 0 to 1023. Polly detects the situation of unconditionally undefined behavior and bail out in ScopInfo as non-feasible for optimization.
Other tests add impossible context assumptions as well, hance might show the same problem.
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@247412 91177308-0d34-0410-b5e6-96231b3b80d8
| test/TempScop/scalar_to_array.ll | diffblobblamehistory |