1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// RUN: %clang_cc1 -I %S/Inputs -analyze -analyzer-checker=core,unix -verify %s
// expected-no-diagnostics
#include "include/sys/queue.h"
typedef __typeof(sizeof(int)) size_t;
void *malloc(size_t);
int radar12491259() {
int *p = malloc(12);
FREE_POINTER(p);
FREE_POINTER(p); // no-warning: we are suppressing errors coming from sys/queue macros.
return 0;
}
#define MYMACRO(p) FREE_POINTER(p)
int radar12491259_inside_macro() {
int *p = malloc(12);
MYMACRO(p);
MYMACRO(p); // no-warning: we are suppressing errors coming from sys/queue macros.
return 0;
}
|
