DEBSOURCES
Skip Quicknav
sources / splint / 3.1.2.dfsg1-2 / test / t1.c
12345678
void f () { int *z; z = (int *) malloc (4); }