isl_polynomial.c: fix typo in comment

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add test case for isl_pw_qpolynomial_intersect_domain

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_pw_templ.c: extract out isl_pw_*_exploit_equalities_and_remove_if_empty

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_pw_*_fix_val: also plug in value in associated functions

The original code would only plug in the value in the domains.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_input.c: extract out common is_start_of_div

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_input.c: accept_div: accept floor/ceil of rational affine expression

We may want to print interger divisions as floor(...) instead of [...]
in the future, so we might as well start parsing such expressions.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
remove reference to piplib from .gitmodules

This was missing from ff1ea6b (properly remove piplib submodule,
Wed Jan 13 09:59:16 2010 +0100).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_stream_read_map: handle "implies" token

Requested-by: Vladimir Klebanov <klebanov@kit.edu>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ast_codegen.c: generate_component: avoid invalid access on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_tab_pip.c: use_shifted: avoid invalid access on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_tab_pip.c: context_gbr_save: avoid invalid access on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_basic_set_opt: avoid invalid access on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_basic_map_contains: avoid invalid access on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_basic_map_align_divs: avoid invalid access on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_basic_map_gist: avoid invalid access on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_vertices.c: compute_chambers: avoid invalid access on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_union_map_alloc: avoid double free on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_hmap_map_basic_set_set: avoid memory leak on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map_align_divs: fix error handling

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_output.c: print_qpolynomial_c: improve error handling

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>