1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
/* * Rule: FIO42-C * Source: wiki * Status: FAIL - Should trigger FIO42-C violation */ #include <stdio.h> #include <stdlib.h> int main(void) { FILE *f = fopen(filename, "w"); if (NULL == f) { exit(EXIT_FAILURE); } /* ... */ exit(EXIT_SUCCESS); }