DEBSOURCES
Skip Quicknav
sources / splint / 3.1.2.dfsg1-2 / test / tests2.4 / main.c
12345678910
#include <dstdioasdf.h> /* #include <malloc.h> */ main() { int *p = (int *)malloc(sizeof(int)); int *j; *j = 1; printf("Hello"); }