]> andersk Git - splint.git/blame - test/alias4.lcl
Fixed problem with shadow parameters.
[splint.git] / test / alias4.lcl
CommitLineData
885824d3 1imports mut;
2
3int glob;
4int *globp;
5struct { int val; int *field; } globs;
6
7mut f(mut a, mut b) { }
8
9int g (void) int glob; { }
10
11int *h (void) int glob; struct { int val; int *field; } globs; int *globp; { }
This page took 0.068471 seconds and 5 git commands to generate.