]> andersk Git - splint.git/blame - test/manual/employee.h
noexpand always false.
[splint.git] / test / manual / employee.h
CommitLineData
77970e15 1typedef /*@abstract@*/ struct
2{
3 char *name;
4 int *id;
5} *employee;
This page took 0.072407 seconds and 5 git commands to generate.