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
25
26

/*
 * Rule: MEM02-C
 * Source: wiki
 * Status: PASS - Should NOT trigger MEM02-C violation
 * Description: Macro-based allocator with proper cast
 */

#include <stdlib.h>

#define MALLOC(type) ((type *)malloc(sizeof(type)))

typedef struct widget widget;
struct widget {
  char c[10];
  int i;
  double d;
};

void testcase_compliant_macro(void) {
    widget *p;
    p = MALLOC(widget);   /* Compliant: macro provides cast */
    if (p != NULL) {
        p->i = 0;
        p->d = 0.0;
    }
}