| commit | f37faab3636faf60ee455455d8944d8f87757e91 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Fri, 19 May 2017 11:36:26 +0000 (19 13:36 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Wed, 27 Sep 2017 07:23:32 +0000 (27 09:23 +0200) | ||
| tree | 32e97c8c479e2068d5ea5b09c396e4e83a337f83 | treesnapshot (tar.gz zip) |
| parent | 9d49f90d8b5bc49772374609ce40b85881fed430 | commitdiff |
isl_print_*: print unsatisfiable constraints as "false" instead of "1 = 0"
Originally, the constraint parser was very restrictive and
the only way of expressing a false condition was to use
one or more obviously conflicting constraints such as "1 = 0".
Since isl-0.05.1-102-g8130dbe98e (isl_stream_read_map: accept 'true'
and 'false' constraints, Wed Feb 16 16:07:11 2011 +0100),
such a condition can also be expressed as "false".
Prefer the less obfuscated form.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Originally, the constraint parser was very restrictive and
the only way of expressing a false condition was to use
one or more obviously conflicting constraints such as "1 = 0".
Since isl-0.05.1-102-g8130dbe98e (isl_stream_read_map: accept 'true'
and 'false' constraints, Wed Feb 16 16:07:11 2011 +0100),
such a condition can also be expressed as "false".
Prefer the less obfuscated form.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_output.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |