sqc 0.4.13

Software Code Quality - CERT C compliance checker
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

/*
 * Rule: INT15-C
 * Source: wiki
 * Status: PASS - Should NOT trigger INT15-C violation
 * Description: Microsoft-specific workaround for uintmax_t printf
 */

#include <stdio.h>
#include <inttypes.h>

typedef unsigned long long mytypedef_t;

void compliant_microsoft(void) {
    mytypedef_t x = 42;

    /* Compliant: using uintmax_t even with platform-specific format */
#ifdef _MSC_VER
    printf("%llu", (uintmax_t) x);
#else
    printf("%ju", (uintmax_t) x);
#endif
}