sqc 0.4.13

Software Code Quality - CERT C compliance checker
1
2
3
4
5
6
7
8
9
10
// Test: code after longjmp() is unreachable
#include <setjmp.h>
#include <stdio.h>

extern jmp_buf env;

void fail(void) {
    longjmp(env, 1);
    printf("unreachable\n");  // MSC07-C violation
}