| commit | 87613b9051ff5323f747d13455252f7e855b6c1d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 28 Apr 2015 14:51:23 +0000 (28 16:51 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 30 Jun 2015 07:43:38 +0000 (30 09:43 +0200) | ||
| tree | 0cd83491cc2c5d63c5a265f695f57f90acc47a20 | treesnapshot (tar.gz zip) |
| parent | 351876525a22320b32e435f6af950a779f7f1aee | commitdiff |
isl_ast_graft_list_extract_shared_enforced: allow empty list of grafts
We usually do not start generating a for node unless there are
any statement instances that need to be executed by that for loop.
It therefore makes sense to error out if it turns out such
a situation occurs.
However, it is perfectly possible to recover from such situations and
so we might as well do that, even though the result will look somewhat
awkward as it will contain an empty loop guarded by an "if (0)".
Also, when we change build_ast_from_extension to only intersect
the extension with the simple hull of generated domain in a subsequent
commit, we may introduce such cases if (part of) the extension
conflicts with the generated domain, but not with its simple hull.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
We usually do not start generating a for node unless there are
any statement instances that need to be executed by that for loop.
It therefore makes sense to error out if it turns out such
a situation occurs.
However, it is perfectly possible to recover from such situations and
so we might as well do that, even though the result will look somewhat
awkward as it will contain an empty loop guarded by an "if (0)".
Also, when we change build_ast_from_extension to only intersect
the extension with the simple hull of generated domain in a subsequent
commit, we may introduce such cases if (part of) the extension
conflicts with the generated domain, but not with its simple hull.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_ast_graft.c | diffblobblamehistory |