sqc 0.4.13

Software Code Quality - CERT C compliance checker
1
2
3
4
5
6
7
8

// Test: code after exit() is unreachable
#include <stdlib.h>
#include <stdio.h>

void fatal_error(void) {
    exit(1);
    printf("unreachable\n");  // MSC07-C violation
}