diff options
| author | kan <kan@FreeBSD.org> | 2007-08-14 02:45:23 +0000 |
|---|---|---|
| committer | kan <kan@FreeBSD.org> | 2007-08-14 02:45:23 +0000 |
| commit | d2ff90cc580c62afb8528917c1c80ac49d9aaa01 (patch) | |
| tree | 7b2fa7d3de8706d9ca72fdb284ce2a57f67d460a /contrib/gcc/tree-ssa-loop-niter.c | |
| parent | 8a2681fa7ee14c49235e12318f7de5a9a7f492ea (diff) | |
| download | FreeBSD-src-d2ff90cc580c62afb8528917c1c80ac49d9aaa01.zip FreeBSD-src-d2ff90cc580c62afb8528917c1c80ac49d9aaa01.tar.gz | |
GCC 4.2.1 release.
Diffstat (limited to 'contrib/gcc/tree-ssa-loop-niter.c')
| -rw-r--r-- | contrib/gcc/tree-ssa-loop-niter.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/gcc/tree-ssa-loop-niter.c b/contrib/gcc/tree-ssa-loop-niter.c index b087bca..429622b 100644 --- a/contrib/gcc/tree-ssa-loop-niter.c +++ b/contrib/gcc/tree-ssa-loop-niter.c @@ -1747,6 +1747,12 @@ infer_loop_bounds_from_undefined (struct loop *loop) { bb = bbs[i]; + /* If BB is not executed in each iteration of the loop, we cannot + use the operations in it to infer reliable upper bound on the + # of iterations of the loop. */ + if (!dominated_by_p (CDI_DOMINATORS, loop->latch, bb)) + continue; + for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi)) { tree stmt = bsi_stmt (bsi); |
