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

/*
 * Rule: FIO41-C
 * Source: wiki
 * Status: FAIL - Should trigger FIO41-C violation
 */

#include <stdio.h>

FILE *get_stream(void) {
  return stdin;
}

void func(void) {
  // VIOLATION: getc() with stream argument that has side effects
  int c = getc(get_stream());
  if (c == EOF) {
    return;
  }
}