| commit | 70df0a19a05fc304eaf5cad97014170acecc35e4 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 6 Nov 2014 10:16:15 +0000 (6 11:16 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 6 Nov 2014 10:16:15 +0000 (6 11:16 +0100) | ||
| tree | be9097e5af94e55e3b25332916da6f7ae153c65e | treesnapshot (tar.gz zip) |
| parent | a946c1be905a9054e1a14fc169d22f9870d9c48e | commitdiff |
improve handling of function summaries with structs
If a function summary refers to struct members, then the spaces
of the actual function argument and the local access relations
are combined in patch_space and therefore need to have the same
parameters. Align the parameters of these spaces in the calling
function patch.
Reported-by: Michael Kruse <MichaelKruse@meinersbur.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If a function summary refers to struct members, then the spaces
of the actual function argument and the local access relations
are combined in patch_space and therefore need to have the same
parameters. Align the parameters of these spaces in the calling
function patch.
Reported-by: Michael Kruse <MichaelKruse@meinersbur.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| context.c | diffblobblamehistory | |
| tests/summary2.c | [new file with mode: 0644] | blob |
| tests/summary2.scop | [new file with mode: 0644] | blob |