#include "common.h" #define _GNU_SOURCE #include int main(int argc, char** argv) { char buffer[12] = {0}; CHK_FAIL_START (void)fgets(buffer, 14, NULL); CHK_FAIL_END puts(buffer); return ret; }