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