isl_qpolynomial_from_aff: plug memory leak on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_flow.c: compute_val_based_dependences: use correct space for partial results

In 0eacaaa (isl_access_info_compute_flow: handle may accesses,
Wed May 26 20:51:25 2010 +0200), the "dep" array of isl_flow was extended
to keep track of both may and must dependences (for must sources).
However, the initialization of must_rel inside compute_val_based_dependences
was not modified to take into account that this array contains
two dependence relations per must source, possibly resulting in the use
of the wrong space.

This problem went mostly unnoticed because must_rel is later
updated by isl_map_union_disjoint and isl_map_union_disjoint
does not currently check if the inputs live in the same space
when the first input is empty.  Instead, it simply returns
the second input.

However, there are some cases where the space of must_rel,
while it still has its original empty value living in the wrong space.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_flow.c: all_sources: fix memory management annotation

The wrong annotation has been used since this function was introduced
in 0eacaaa (isl_access_info_compute_flow: handle may accesses,
Wed May 26 20:51:25 2010 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Merge branch 'maint'
isl_map_union_disjoint: check spaces before handling special cases

isl_map_union_disjoint checks for special cases such as inputs
that are empty before verifying that the two inputs live in the same space.
A result could therefore be produced even in some cases where the inputs
are invalid.
Check for equal spaces first and refuse to give a result if the input
spaces do not match.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
interface/Makefile.am: avoid use of INCLUDES variable

Recent versions of automake complain about the use of a variable
called INCLUDES.  Rename it to includes and add that to
extract_interface_CPPFLAGS.

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

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
remove spurious include of isl/config.h

Commit 6340a4f (remove WARN_UNUSED from public header, Thu Apr 17 12:55:06
2014 +0200) removed the generation of this file, but failed to remove
the include from the include/isl/ctx.h header file.

Reported-by: Michael Kruse <meinersbur@googlemail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>