isl_space_set_dim_id: also set id of parameter in nested spaces
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 31 Jan 2012 11:27:09 +0000 (12:27 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 31 Jan 2012 11:27:09 +0000 (12:27 +0100)
commitae50237b86f23c232dd5d99d3e420fa0e775ce01
treeafdbad658675b838eed677bfabf57df1650dfcbd
parentfdbd791da4b0c221c070d4ea39dbb131a59c74ac
isl_space_set_dim_id: also set id of parameter in nested spaces

A nested space is supposed to have the same parameters as
the nesting space, so if the id of a parameter in the nesting
space space changes, it has to be changed in the nested spaces too.

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