platform/upstream/isl.git
14 years agoisl_affine_hull.c: outside_point: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 14:08:08 +0000 (16:08 +0200)]
isl_affine_hull.c: outside_point: fix error handling

14 years agoisl_tab_rollback: avoid double free on error path
Sven Verdoolaege [Sat, 26 Jun 2010 13:02:37 +0000 (15:02 +0200)]
isl_tab_rollback: avoid double free on error path

14 years agoisl_tab.c: tab_mat_product: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 10:42:17 +0000 (12:42 +0200)]
isl_tab.c: tab_mat_product: avoid NULL pointer dereference

14 years agoisl_tab_extend_cons: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 10:40:27 +0000 (12:40 +0200)]
isl_tab_extend_cons: avoid NULL pointer dereference

14 years agoimplement antiquated isl_basic_set_n_* in terms of isl_basic_set_dim
Sven Verdoolaege [Sat, 26 Jun 2010 10:38:28 +0000 (12:38 +0200)]
implement antiquated isl_basic_set_n_* in terms of isl_basic_set_dim

14 years agoisl_map_convex_hull: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 10:14:56 +0000 (12:14 +0200)]
isl_map_convex_hull: avoid NULL pointer dereference

14 years agoisl_tab_add_valid_eq: return int instead of isl_tab *
Sven Verdoolaege [Sat, 26 Jun 2010 09:56:56 +0000 (11:56 +0200)]
isl_tab_add_valid_eq: return int instead of isl_tab *

14 years agoisl_affine_hull.c: affine_hull_with_cone: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:51:08 +0000 (11:51 +0200)]
isl_affine_hull.c: affine_hull_with_cone: avoid NULL pointer dereference

14 years agoisl_equalities.c: parameter_compression_multi: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:45:44 +0000 (11:45 +0200)]
isl_equalities.c: parameter_compression_multi: avoid NULL pointer dereference

14 years agoisl_basic_map_project_out: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:41:56 +0000 (11:41 +0200)]
isl_basic_map_project_out: avoid NULL pointer dereference

14 years agoisl_coalesce.c: coalesce_pair: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:38:22 +0000 (11:38 +0200)]
isl_coalesce.c: coalesce_pair: avoid NULL pointer dereference

14 years agoisl_convex_hull.c: extend: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 09:35:44 +0000 (11:35 +0200)]
isl_convex_hull.c: extend: fix error handling

14 years agoimplement antiquated isl_set_n_* in terms of isl_set_dim
Sven Verdoolaege [Sat, 26 Jun 2010 09:33:48 +0000 (11:33 +0200)]
implement antiquated isl_set_n_* in terms of isl_set_dim

14 years agoisl_map_simplify.c: normalize_divs: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:29:36 +0000 (11:29 +0200)]
isl_map_simplify.c: normalize_divs: avoid NULL pointer dereference

14 years agoisl_input.c: vars_drop: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 09:27:39 +0000 (11:27 +0200)]
isl_input.c: vars_drop: fix error handling

14 years agoisl_convex_hull.c: uset_convex_hull_wrap_bounded: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 09:23:57 +0000 (11:23 +0200)]
isl_convex_hull.c: uset_convex_hull_wrap_bounded: fix error handling

14 years agoisl_set_wrap_facet: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 09:17:42 +0000 (11:17 +0200)]
isl_set_wrap_facet: fix error handling

14 years agoisl_tab_min: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:14:00 +0000 (11:14 +0200)]
isl_tab_min: avoid NULL pointer dereference

14 years agoisl_affine_hull.c: extend_affine_hull: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:10:59 +0000 (11:10 +0200)]
isl_affine_hull.c: extend_affine_hull: avoid NULL pointer dereference

14 years agoisl_basic_map_extend: plug memory leak on error path
Sven Verdoolaege [Sat, 26 Jun 2010 09:04:44 +0000 (11:04 +0200)]
isl_basic_map_extend: plug memory leak on error path

14 years agoisl_affine_hull.c: equalities_in_underlying_set: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 08:57:40 +0000 (10:57 +0200)]
isl_affine_hull.c: equalities_in_underlying_set: avoid NULL pointer dereference

14 years agoisl_basic_set_preimage: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 08:54:28 +0000 (10:54 +0200)]
isl_basic_set_preimage: avoid NULL pointer dereference

14 years agoisl_tab_pip.c: no_sol_in_strict: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 08:49:44 +0000 (10:49 +0200)]
isl_tab_pip.c: no_sol_in_strict: fix error handling

14 years agoisl_affine_hull.c: equalities_in_underlying_set: plug memory leak on error path
Sven Verdoolaege [Fri, 25 Jun 2010 19:55:05 +0000 (21:55 +0200)]
isl_affine_hull.c: equalities_in_underlying_set: plug memory leak on error path

14 years agoisl_affine_hull.c: affine_hull: fix erro handling
Sven Verdoolaege [Fri, 25 Jun 2010 19:50:48 +0000 (21:50 +0200)]
isl_affine_hull.c: affine_hull: fix erro handling

14 years agoisl_map_project_out: fix error return value
Sven Verdoolaege [Fri, 25 Jun 2010 19:44:23 +0000 (21:44 +0200)]
isl_map_project_out: fix error return value

14 years agoisl_basic_map_intersect_range: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 19:42:15 +0000 (21:42 +0200)]
isl_basic_map_intersect_range: avoid NULL pointer dereference

14 years agoisl_tab_pip.c: find_solutions: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 19:38:52 +0000 (21:38 +0200)]
isl_tab_pip.c: find_solutions: fix error handling

14 years agoisl_basic_map_alloc_dim: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 19:29:02 +0000 (21:29 +0200)]
isl_basic_map_alloc_dim: fix error handling

14 years agoisl_basic_map_intersect: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 18:59:12 +0000 (20:59 +0200)]
isl_basic_map_intersect: avoid NULL pointer dereference

14 years agoisl_tab_pip.c: sol_map_init: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 18:55:12 +0000 (20:55 +0200)]
isl_tab_pip.c: sol_map_init: avoid NULL pointer dereference

14 years agoisl_basic_map_intersect_domain: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 18:53:12 +0000 (20:53 +0200)]
isl_basic_map_intersect_domain: avoid NULL pointer dereference

14 years agoisl_flow.c: compute_val_based_dependences: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 18:51:40 +0000 (20:51 +0200)]
isl_flow.c: compute_val_based_dependences: fix error handling

14 years agoisl_flow_alloc: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 18:48:47 +0000 (20:48 +0200)]
isl_flow_alloc: fix error handling

14 years agoisl_access_info_compute_flow: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 18:40:52 +0000 (20:40 +0200)]
isl_access_info_compute_flow: fix error handling

14 years agoisl_{set,map}_fast_is_empty: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 18:36:16 +0000 (20:36 +0200)]
isl_{set,map}_fast_is_empty: avoid NULL pointer dereference

14 years agoisl_flow.c: avoid accessing dim field directly
Sven Verdoolaege [Fri, 25 Jun 2010 18:33:22 +0000 (20:33 +0200)]
isl_flow.c: avoid accessing dim field directly

14 years agoisl_access_info_compute_flow: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 18:29:07 +0000 (20:29 +0200)]
isl_access_info_compute_flow: avoid NULL pointer dereference

14 years agoisl_input.c: obj_read: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 18:17:41 +0000 (20:17 +0200)]
isl_input.c: obj_read: avoid NULL pointer dereference

14 years agoisl_map_subtract.c: tab_add_constraints: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 17:42:23 +0000 (19:42 +0200)]
isl_map_subtract.c: tab_add_constraints: avoid NULL pointer dereference

14 years agoisl_tab.c: close_row: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 17:40:02 +0000 (19:40 +0200)]
isl_tab.c: close_row: fix error handling

14 years agoisl_map_simplify.c: remove_duplicate_divs: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:59:58 +0000 (18:59 +0200)]
isl_map_simplify.c: remove_duplicate_divs: avoid NULL pointer dereference

14 years agoisl_basic_map_affine_hull: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:57:36 +0000 (18:57 +0200)]
isl_basic_map_affine_hull: avoid NULL pointer dereference

14 years agoisl_tab_add_eq: return int instead of isl_tab *
Sven Verdoolaege [Fri, 25 Jun 2010 16:56:12 +0000 (18:56 +0200)]
isl_tab_add_eq: return int instead of isl_tab *

14 years agoisl_map_simplify.c: remove_duplicate_constraints: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:46:39 +0000 (18:46 +0200)]
isl_map_simplify.c: remove_duplicate_constraints: avoid NULL pointer dereference

14 years agoisl_map_simplify.c: eliminate_divs_ineq: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:45:52 +0000 (18:45 +0200)]
isl_map_simplify.c: eliminate_divs_ineq: avoid NULL pointer dereference

14 years agoisl_basic_map_eliminate_vars: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:44:36 +0000 (18:44 +0200)]
isl_basic_map_eliminate_vars: avoid NULL pointer dereference

14 years agoisl_sample.c: interval_sample: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:43:01 +0000 (18:43 +0200)]
isl_sample.c: interval_sample: avoid NULL pointer dereference

14 years agoisl_sample.c: drop_constraints_involving: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:41:21 +0000 (18:41 +0200)]
isl_sample.c: drop_constraints_involving: avoid NULL pointer dereference

14 years agoisl_stream_new: read_defined_var_list: avoid double free on error
Sven Verdoolaege [Fri, 25 Jun 2010 16:40:12 +0000 (18:40 +0200)]
isl_stream_new: read_defined_var_list: avoid double free on error

14 years agoisl_basic_map_intersect: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:34:58 +0000 (18:34 +0200)]
isl_basic_map_intersect: avoid NULL pointer dereference

14 years agoisl_sample.c: gbr_sample: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:32:17 +0000 (18:32 +0200)]
isl_sample.c: gbr_sample: avoid NULL pointer dereference

14 years agoisl_test.c: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:29:14 +0000 (18:29 +0200)]
isl_test.c: avoid NULL pointer dereference

14 years agoisl_test: avoid accessing basic set internals
Sven Verdoolaege [Fri, 25 Jun 2010 16:27:30 +0000 (18:27 +0200)]
isl_test: avoid accessing basic set internals

14 years agoisl_input.c: read_defined_var_list: avoid double free on error
Sven Verdoolaege [Fri, 25 Jun 2010 16:25:18 +0000 (18:25 +0200)]
isl_input.c: read_defined_var_list: avoid double free on error

14 years agoisl_map_convex_hull: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:18:06 +0000 (17:18 +0200)]
isl_map_convex_hull: avoid NULL pointer dereference

14 years agoisl_basic_map_normalize_constraints: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:16:56 +0000 (17:16 +0200)]
isl_basic_map_normalize_constraints: avoid NULL pointer dereference

14 years agoisl_basic_map_total_dim: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:15:57 +0000 (17:15 +0200)]
isl_basic_map_total_dim: avoid NULL pointer dereference

14 years agoisl_basic_map_order_divs: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:14:13 +0000 (17:14 +0200)]
isl_basic_map_order_divs: avoid NULL pointer dereference

14 years agoisl_convex_hull.c: isl_basic_set_add_equality: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:12:42 +0000 (17:12 +0200)]
isl_convex_hull.c: isl_basic_set_add_equality: avoid NULL pointer dereference

14 years agoisl_convex_hull.c: compute_facet: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:11:35 +0000 (17:11 +0200)]
isl_convex_hull.c: compute_facet: avoid NULL pointer dereference

14 years agoisl_test.c: map_is_equal: check input
Sven Verdoolaege [Fri, 25 Jun 2010 15:08:36 +0000 (17:08 +0200)]
isl_test.c: map_is_equal: check input

14 years agoisl_dim.c: copy_names: check input dim
Sven Verdoolaege [Fri, 25 Jun 2010 15:05:45 +0000 (17:05 +0200)]
isl_dim.c: copy_names: check input dim

14 years agoisl_dim_dup: check input dim
Sven Verdoolaege [Fri, 25 Jun 2010 15:03:07 +0000 (17:03 +0200)]
isl_dim_dup: check input dim

14 years agoisl_basic_map_cow: check result of allocation
Sven Verdoolaege [Fri, 25 Jun 2010 15:01:33 +0000 (17:01 +0200)]
isl_basic_map_cow: check result of allocation

14 years agoisl_stream_new_str: check result of allocation
Sven Verdoolaege [Fri, 25 Jun 2010 14:59:14 +0000 (16:59 +0200)]
isl_stream_new_str: check result of allocation

14 years agoisl_stream.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:46 +0000 (16:31 +0200)]
isl_stream.c: fix typo

14 years agoisl_tab_pip.c: fix typos
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:29 +0000 (16:31 +0200)]
isl_tab_pip.c: fix typos

14 years agoisl_tab.c: fix typos
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:23 +0000 (16:31 +0200)]
isl_tab.c: fix typos

14 years agoisl_polynomial.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:11 +0000 (16:31 +0200)]
isl_polynomial.c: fix typo

14 years agoisl_vertices.c: fix typos
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:51 +0000 (16:30 +0200)]
isl_vertices.c: fix typos

14 years agoisl_morph.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:28 +0000 (16:30 +0200)]
isl_morph.c: fix typo

14 years agoisl_map.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:20 +0000 (16:30 +0200)]
isl_map.c: fix typo

14 years agoisl_map_simplify.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:09 +0000 (16:30 +0200)]
isl_map_simplify.c: fix typo

14 years agoisl_input.c: accept more general affine expressions
Sven Verdoolaege [Fri, 25 Jun 2010 13:19:14 +0000 (15:19 +0200)]
isl_input.c: accept more general affine expressions

14 years agoadd isl_vec_add
Sven Verdoolaege [Fri, 25 Jun 2010 12:37:09 +0000 (14:37 +0200)]
add isl_vec_add

14 years agoadd isl_vec_scale
Sven Verdoolaege [Fri, 25 Jun 2010 12:31:09 +0000 (14:31 +0200)]
add isl_vec_scale

14 years agoadd isl_set_is_box
Sven Verdoolaege [Thu, 24 Jun 2010 16:10:41 +0000 (18:10 +0200)]
add isl_set_is_box

14 years agoadd isl_map_is_translation
Sven Verdoolaege [Thu, 24 Jun 2010 16:09:06 +0000 (18:09 +0200)]
add isl_map_is_translation

14 years agoexport isl_qpolynomial_involves_dims
Sven Verdoolaege [Mon, 21 Jun 2010 11:45:59 +0000 (13:45 +0200)]
export isl_qpolynomial_involves_dims

14 years agoisl_polynomial.c: add missing include
Sven Verdoolaege [Mon, 21 Jun 2010 11:45:49 +0000 (13:45 +0200)]
isl_polynomial.c: add missing include

14 years agoisl_map_transitive_closure: check whether decomposition gives closed result
Sven Verdoolaege [Sun, 20 Jun 2010 18:28:47 +0000 (20:28 +0200)]
isl_map_transitive_closure: check whether decomposition gives closed result

Some applications require the result to be closed, even if it is inexact.
The test for closedness can be fairly expensive, but I haven't been able
to trigger it yet, so presumably it will trigger only rarely.
Perhaps we should make the test configurable for those applications
that don't need a closed approximation.

14 years agoadd isl_stream_flush_tokens
Sven Verdoolaege [Sat, 19 Jun 2010 14:39:20 +0000 (16:39 +0200)]
add isl_stream_flush_tokens

14 years agoadd isl_stream_skip_line
Sven Verdoolaege [Sat, 19 Jun 2010 14:33:14 +0000 (16:33 +0200)]
add isl_stream_skip_line

14 years agoadd rudimentary error reporting mechanism
Sven Verdoolaege [Sat, 23 Jan 2010 11:50:26 +0000 (12:50 +0100)]
add rudimentary error reporting mechanism

14 years agoadd isl_version
Sven Verdoolaege [Sat, 19 Jun 2010 13:53:34 +0000 (15:53 +0200)]
add isl_version

14 years agoisl_point_alloc: avoid potential memory leak on error path
Sven Verdoolaege [Sat, 19 Jun 2010 09:03:38 +0000 (11:03 +0200)]
isl_point_alloc: avoid potential memory leak on error path

14 years agodoc: document isl_map_deltas
Sven Verdoolaege [Fri, 18 Jun 2010 14:33:40 +0000 (16:33 +0200)]
doc: document isl_map_deltas

14 years agoisl_tab_pip.c: compare all coefficients when checking for duplicate divs
Sven Verdoolaege [Tue, 15 Jun 2010 21:31:41 +0000 (23:31 +0200)]
isl_tab_pip.c: compare all coefficients when checking for duplicate divs

Due to a typo, we would not consider the last coefficient of the div,
possibly resulting in a new div being identified with an existing
div that only differs in that last coefficient.
Apparently, this doesn't happen very often, because it has gone
unnoticed for quite a while.

14 years agoisl_pw_qpolynomial{,_fold}_gist: use simple hull instead of convex hull
Sven Verdoolaege [Tue, 15 Jun 2010 10:30:41 +0000 (12:30 +0200)]
isl_pw_qpolynomial{,_fold}_gist: use simple hull instead of convex hull

We need a basic set to gist the domain.  We used to take the convex hull
of the input set, but the convex hull operation can be very slow in isl.
Use the simple hull instead.

14 years agoadd isl_set_set_dim_name
Sven Verdoolaege [Mon, 14 Jun 2010 13:17:30 +0000 (15:17 +0200)]
add isl_set_set_dim_name

14 years agoadd isl_stream_read_set
Sven Verdoolaege [Mon, 14 Jun 2010 12:33:59 +0000 (14:33 +0200)]
add isl_stream_read_set

14 years agodoc: fix typo
Sven Verdoolaege [Mon, 14 Jun 2010 12:33:51 +0000 (14:33 +0200)]
doc: fix typo

14 years agoisl_qpolynomial_lift: fix lifting in absence of divs
Sven Verdoolaege [Sat, 12 Jun 2010 19:00:51 +0000 (21:00 +0200)]
isl_qpolynomial_lift: fix lifting in absence of divs

If there are no divs, then we still need to modify the (zero row)
div matrix to make sure that the number of columns remains consistent.

14 years agooptionally (and by default) use bernstein expansion to compute bounds
Sven Verdoolaege [Mon, 7 Jun 2010 12:43:26 +0000 (14:43 +0200)]
optionally (and by default) use bernstein expansion to compute bounds

14 years agoprivately export isl_qpolynomial_fold_fold_on_domain
Sven Verdoolaege [Sat, 12 Jun 2010 15:33:17 +0000 (17:33 +0200)]
privately export isl_qpolynomial_fold_fold_on_domain

14 years agoadd isl_pw_qpolynomial_fold_foreach_piece
Sven Verdoolaege [Sat, 12 Jun 2010 15:17:32 +0000 (17:17 +0200)]
add isl_pw_qpolynomial_fold_foreach_piece

14 years agoadd parametric vertex enumeration
Sven Verdoolaege [Mon, 7 Jun 2010 12:27:13 +0000 (14:27 +0200)]
add parametric vertex enumeration

14 years agoadd isl_morph_dom_dim and isl_morph_ran_dim
Sven Verdoolaege [Fri, 11 Jun 2010 16:23:10 +0000 (18:23 +0200)]
add isl_morph_dom_dim and isl_morph_ran_dim

14 years agoadd isl_basic_map_is_rational
Sven Verdoolaege [Fri, 11 Jun 2010 12:19:20 +0000 (14:19 +0200)]
add isl_basic_map_is_rational