isl_{set,map}_dup: copy subsets instead of duping them
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 12 Oct 2008 14:10:27 +0000 (16:10 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 14 Oct 2008 08:22:00 +0000 (10:22 +0200)
commit56bb68aafe198d7188dc4e856e03c4b3e72eb7f2
treea1ecf95520b45ec8a7af68267fcfa8fe324db836
parentc2ae02ffff0669857b6c6d1004dc82ba0889289e
isl_{set,map}_dup: copy subsets instead of duping them

If the subsets are going to be changed, they will be
duped anyway later and otherwise it is a waste to dup them.
isl_map.c