projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4cce988) | patch
isl_basic_map_copy: mark duplicated copy as finalized
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 3 Jun 2010 16:36:56 +0000 (18:36 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 3 Jun 2010 16:36:56 +0000 (18:36 +0200)
commit218439fe3bdbf807e18ec64b8b0372a7de23ded4
treee0bfd70e097364271dcf6955067f56d2f3bab5c3tree | snapshot
parent4cce988906b3182cb87a28f94166c08663b74670commit | diff
isl_basic_map_copy: mark duplicated copy as finalized

If an unfinalized copy is needed, the caller will perform an
isl_basic_map_cow on the copy.
isl_map.c diff | blob | history
Domain: System / Uncategorized;