]> andersk Git - splint.git/blame - test/ud2.lcl
*** empty log message ***
[splint.git] / test / ud2.lcl
CommitLineData
885824d3 1void f1(out char **x) { modifies *x; }
2void f2(char **x) { modifies *x; }
3void f3(out int *y) { modifies *y; }
This page took 0.074013 seconds and 5 git commands to generate.