sqc 0.4.13

Software Code Quality - CERT C compliance checker
1
2
3
4
5
6
7
8
9
10
11
12
13

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

#include <assert.h>
#include <stddef.h>
  
void process(size_t index) {
  assert(index++ > 0); /* Side effect */
  /* ... */
}