isl_local_space_intersect: add missing isl_local_space_cow when divs change
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 1 May 2014 10:59:40 +0000 (12:59 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 1 May 2014 10:59:40 +0000 (12:59 +0200)
commit665eaee653bc15f6d9923d41b4f53aa0517235f3
treeaec7c39cef7eca72f1e83ebb22ea0e0098058aa2
parent563c3a8d52e3be7c685ff9418891b30559adfca1
isl_local_space_intersect: add missing isl_local_space_cow when divs change

Reported-by: Michael Kruse <meinersbur@googlemail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_local_space.c