]> andersk Git - splint.git/blame_incremental - test/outglob.lcl
Pushed back constraintResolve.c to the previous version.
[splint.git] / test / outglob.lcl
... / ...
CommitLineData
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.033361 seconds and 5 git commands to generate.