| commit | 76d8f3807f36c71c1eb49e78297b085783306363 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Thu, 21 Sep 2017 12:35:14 +0000 (21 14:35 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Wed, 27 Sep 2017 07:23:32 +0000 (27 09:23 +0200) | ||
| tree | f62d2a05308d6d01e3510a261355d6b97fd1c357 | treesnapshot (tar.gz zip) |
| parent | 41d5f8e53b29c5361490e4e2893178311ef35ee4 | commitdiff |
isl_output.c: print_disjunct: pass valid local variables to print_constraints
The original implementation would pass a NULL object in case
no explicit representations of local variables should be printed.
Pass in a valid object with all local variables marked unknown instead.
This ensures that print_affine will always get passed a valid object,
which is required for the next commit.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
The original implementation would pass a NULL object in case
no explicit representations of local variables should be printed.
Pass in a valid object with all local variables marked unknown instead.
This ensures that print_affine will always get passed a valid object,
which is required for the next commit.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_output.c | diffblobblamehistory |