forked from OSchip/llvm-project
07d5df4db8
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. llvm-svn: 247412 |
||
---|---|---|
.. | ||
DeadCodeElimination | ||
DependenceInfo | ||
IndependentBlocks | ||
Isl | ||
ScheduleOptimizer | ||
ScopDetect | ||
ScopDetectionDiagnostics | ||
ScopInfo | ||
TempScop | ||
CMakeLists.txt | ||
Makefile | ||
README | ||
create_ll.sh | ||
lit.cfg | ||
lit.site.cfg.in | ||
polly.ll |
README
place tests here