isl_local_space_substitute_equalities: avoid writing to shared matrix
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 11 Jun 2013 21:02:09 +0000 (23:02 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 11 Jun 2013 21:02:09 +0000 (23:02 +0200)
commit76a5cc9179e76349c09eb3350a379b001ce02365
treef5c6e91f8e15d902aae8c0637cdeec0b3dd267a5
parent43fff90f1d95d55832497e0ed797aee01fe8e54c
isl_local_space_substitute_equalities: avoid writing to shared matrix

We only called isl_local_space_cow on the local space itself,
but the div matrix could still be shared with other local spaces.

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