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
23
24

/*
 * Cross-file header test — implementation file.
 * Defines functions prototyped in public_api.h.
 * With -d, prescan sees the .h prototype and DCL15-C should NOT
 * flag compute_value() or print_result() as needing static.
 *
 * internal_helper() has no header prototype and should still be
 * flagged by DCL15-C as a candidate for static linkage.
 */

#include <stdio.h>

int compute_value(int x) {
    return x * 2 + 1;
}

void print_result(int value) {
    printf("Result: %d\n", value);
}

/* No header prototype — DCL15-C should flag this */
void internal_helper(void) {
    printf("helper\n");
}