| commit | bd7b836d97128bb47bace4be1f65bbfc20b22222 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 3 Oct 2012 10:39:40 +0000 (3 12:39 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 3 Oct 2012 10:45:47 +0000 (3 12:45 +0200) | ||
| tree | adf01fd4d4b406d1a69460fe8a2e2fcd491b0352 | treesnapshot (tar.gz zip) |
| parent | e16664251637df4650736c9d897e39f5f192aa11 | commitdiff |
PetScan::extract_array: use declared size on VLA parameters with static size
That is, if a parameter is declared as in
void foo(int n, int A[static n]);
then take into account the number of elements "n" we expect in A
in the description of the "extent" of A.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
That is, if a parameter is declared as in
void foo(int n, int A[static n]);
then take into account the number of elements "n" we expect in A
in the description of the "extent" of A.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory | |
| tests/static.c | [new file with mode: 0644] | blob |
| tests/static.scop | [new file with mode: 0644] | blob |