pet_scop_anonymize: also remove user pointers from tuple ids
commit4ba57e8662b485ff89a26199f79b569512ffc84d
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 3 Mar 2012 22:53:29 +0000 (3 23:53 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 8 Nov 2012 14:10:13 +0000 (8 15:10 +0100)
tree7eee105e6d98fc8e7650455aaf5edaf34b0856ec
parentff5a787bf7c8cc2362342df5184c759223069b13
pet_scop_anonymize: also remove user pointers from tuple ids

The motivation for resetting user pointers on parameter ids
in 4f748e1 (pet_scop_extract_from_C_source: reset user pointers on
parameter ids in result, Sun Jan 22 22:48:35 2012 +0100) also
applies to user pointers on tuple ids, so we should reset those as well.

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