Added some new test cases also merged with Dave Evans's tests.

[splint.git] / test / temp / outglob.lcl

int x1, x2, x3;

int f (void) undef int x1; undef int x2; undef int x3;
{ modifies x1, x2, x3; }
        
int g (void) int x1, x2; undef int x3;
{ modifies x3; }