]> andersk Git - splint.git/blame - test/manual/types.c
noexpand always false.
[splint.git] / test / manual / types.c
CommitLineData
77970e15 1typedef /*@abstract@*/ /*@mutable@*/ struct {
2 int r; int g; int b;
3} color;
This page took 0.958575 seconds and 5 git commands to generate.