]> andersk Git - splint.git/blame - test/outglob.lcl
Pushed back constraintResolve.c to the previous version.
[splint.git] / test / outglob.lcl
CommitLineData
885824d3 1int x1, x2, x3;
2
3int f (void) undef int x1; undef int x2; undef int x3;
4{ modifies x1, x2, x3; }
5
6int g (void) int x1, x2; undef int x3;
7{ modifies x3; }
This page took 0.062448 seconds and 5 git commands to generate.