| commit | baa8500f3037e42c624b0f40b97c47155c8d4d9e | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 6 Aug 2008 11:00:39 +0000 (6 13:00 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 6 Aug 2008 11:00:39 +0000 (6 13:00 +0200) | ||
| tree | 74ac904b7943c55dd2e24a3b726388a3434ab06c | treesnapshot (tar.gz zip) |
| parent | b31d016a663e09ab360f685155140313a477e03e | commitdiff |
source/clast.c: detect pairs of inequalities that uniquely define a variable
For such variables, we can simply print a guard (if needed) and
an assignment instead of generating a loop.
For such variables, we can simply print a guard (if needed) and
an assignment instead of generating a loop.