| commit | 3e66d089117cfab40d66cc6c8cba8aee7ed12c38 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sat, 25 Jun 2022 07:36:51 +0000 (25 09:36 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 26 Jun 2022 11:08:00 +0000 (26 13:08 +0200) | ||
| tree | 1a2cd136140723f867450d862cddeaf46ece15fc | treesnapshot (tar.gz zip) |
| parent | e332fdd25fbd63e366a870b747827eb146c728b7 | commitdiff |
preserve array extents in case of empty context
The context can be empty if it turns out the scop cannot
be executed for any value of the parameters.
Taking the gist with respect to such a context completely removes
any information about the array extents.
Even though these extents may not be strictly required
in such cases, there is no need to force the user
to add specific support for these cases.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
The context can be empty if it turns out the scop cannot
be executed for any value of the parameters.
Taking the gist with respect to such a context completely removes
any information about the array extents.
Even though these extents may not be strictly required
in such cases, there is no need to force the user
to add specific support for these cases.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| scop.c | diffblobblamehistory | |
| tests/invalid.c | [new file with mode: 0644] | blob |
| tests/invalid.scop | [new file with mode: 0644] | blob |