| commit | 5aef0346edf39300e1f75c97195ffaff315e4571 | |
| author | Vincent Loechner <loechner@icps.u-strasbg.fr> | |
| Fri, 27 Jun 2008 14:21:18 +0000 (27 16:21 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 30 Jul 2008 20:14:05 +0000 (30 22:14 +0200) | ||
| tree | 9ad31008dd33c1a74282c8d4623bb3809bc25a43 | treesnapshot (tar.gz zip) |
| parent | 5dcb4faf94479a0b537ed41547e165923a821b16 | commitdiff |
Fix infinite loop in ZDomainDifference
The original loop was replaced by its first iteration in
162979ddc7eee2196df18d5f8221c77a661e1f86 (SplitZPolyhedron function
introduced.), without any explanation. Commit
1a019024f1b3d0eceb1a4d678f3fc568a34397f2 (ZDomainDifference: add
back commented out code) attempted to reinstate the loop, but failed
to drop the initialization, resulting in an infinite loop.
[Bug reported by Armin Groesslinger, Univ. Passau]
Note, however, that even with this inifite loop fixed,
the original computation now finishes, but results in
the wrong solution. See
http://lipforge.ens-lyon.fr/tracker/index.php?func=detail&aid=3171&group_id=52&atid=296
for more information.
The original loop was replaced by its first iteration in
162979ddc7eee2196df18d5f8221c77a661e1f86 (SplitZPolyhedron function
introduced.), without any explanation. Commit
1a019024f1b3d0eceb1a4d678f3fc568a34397f2 (ZDomainDifference: add
back commented out code) attempted to reinstate the loop, but failed
to drop the initialization, resulting in an infinite loop.
[Bug reported by Armin Groesslinger, Univ. Passau]
Note, however, that even with this inifite loop fixed,
the original computation now finishes, but results in
the wrong solution. See
http://lipforge.ens-lyon.fr/tracker/index.php?func=detail&aid=3171&group_id=52&atid=296
for more information.
| source/kernel/Zpolyhedron.c | diffblobblamehistory |