pet_scop_collect_arrays: consider all accessed data spaces of an array
commit079ff1d53d7f54a534bd3f499a48b12468b8c7e4
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 7 Mar 2017 10:16:45 +0000 (7 11:16 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 8 Mar 2017 16:49:45 +0000 (8 17:49 +0100)
treea64d8023ef644ebcd3c40838b305794ecebe333a
parentd2b224d4f8b07f73722ef9739569a41773e94d9c
pet_scop_collect_arrays: consider all accessed data spaces of an array

In particular, if there are any access relations associated to an array,
then also consider the data space in those access relations and not
just the data space of the index expression.
In the current code base, this change does not have any effect
since all subfields of an accessed arrays are recursively added
to the list of arrays, but a subsequent commit will change that
to only adding relevant subfields.
In order to be able to determine which subfields are relevant,
the code needs to consider the accesses in the access relations.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
expr.c
expr.h
scop_plus.cc