| commit | 8bba4932698d62632b482a1d67fb14b3fddb77b2 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 2 Jan 2017 16:04:05 +0000 (2 17:04 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 7 Feb 2017 16:31:16 +0000 (7 17:31 +0100) | ||
| tree | 1eef7621bbf3eef34933a0b062c017b7d1d932f6 | treesnapshot (tar.gz zip) |
| parent | c3524de5448835afa30d692d49716b12a793e5c8 | commitdiff |
update pet for improved pet_scop_compute_outer_to_inner
In particular, the result maintains the mapping between outermost
array elements, including the case where this array has size 1.
Without this mapping, the inverse relation would map the single
element to any element and PPCG would not be able to derive
the extent of the outer array.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, the result maintains the mapping between outermost
array elements, including the case where this array has size 1.
Without this mapping, the inverse relation would map the single
element to any element and PPCG would not be able to derive
the extent of the outer array.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| pet | diffblobblamehistory | |
| tests/struct5.c | [new file with mode: 0644] | blob |