pet_scop_collect_arrays: only collect siblings of accessed fields
commit63d519541a52cce7f7a4d70545e64511373f08a7
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 6 Mar 2017 10:07:03 +0000 (6 11:07 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 8 Mar 2017 16:49:45 +0000 (8 17:49 +0100)
tree2df5fa3a8a88ae4be505d0d7c9a3d482c7ab710a
parent079ff1d53d7f54a534bd3f499a48b12468b8c7e4
pet_scop_collect_arrays: only collect siblings of accessed fields

When an entire structure is accessed, users need to be able
to map those accesses to the members of the structure.
pet_scop_collect_arrays therefore recursively collects all subfields
of an outermost array.
However, being able to map a structure access to accesses
to its members is only important if one of those members
is also accessed individually.  Otherwise, the access
can simply be treated as an opaque access.
Modify pet_scop_collect_arrays to only collect siblings
of accessed members, rather than the entire member hierarchy.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scop_plus.cc
tests/inline8.scop