Some consistency changes to library & headers flags.

[splint-patched.git] / test / outparam.lcl

typedef struct _st { int a; int b; } *st;

void f(out int *a, int *b) { modifies *a; }
void h(out st s, out st t) { modifies *t; }
int g (void) { }