?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 85033d4) | patch
isl_printer_print_point: properly handle points with dimensions of different types
commit80e3ed2f429e81e467e664a805b44d1d1ae39b2b
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 26 Sep 2018 20:54:02 +0000 (26 22:54 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 26 Sep 2018 20:54:02 +0000 (26 22:54 +0200)
treeaa4d167d5bed7794c542602efe996924e2108281tree | snapshot (tar.gz zip)
parent85033d47d209fa16f76b0b62ab2734674f5d0a54commit | diff
isl_printer_print_point: properly handle points with dimensions of different types

Reported-by: Tobias Grosser <tobias.grosser@inf.ethz.ch>
Tested-by: Tobias Grosser <tobias.grosser@inf.ethz.ch>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_point.c diff | blob | blame | history
Integer set library