| // 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; |
| } |
