DEBSOURCES
Skip Quicknav
sources / splint / 3.1.2.dfsg1-2 / test / sizeoftest / sizeofConst.c
123456789101112
/*@null@*/ char * f() { char *buf = malloc(sizeof ("1234") ); if (buf == NULL) { return NULL; } strcpy(buf, "1234"); return buf; }