scop.c: implies_filter: avoid using access relation
commit2a14df737269a5c4953866f7748d7365401ba6ec
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Mar 2014 15:08:37 +0000 (25 16:08 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 20 Jun 2014 14:29:15 +0000 (20 16:29 +0200)
treed42611dc99515d4e180dc9a1677412e27ef1680a
parent3f055b17c0d1635da8bf1beb2449738daf6bb6c6
scop.c: implies_filter: avoid using access relation

In a future commit, we will only keep track of access relation(s)
when they cannot be trivially derived from the index expression.
Construct implied relation from the index expression rather than
from the access relation.  The index expression and access relation
of a filter are always created identically.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scop.c