1 // RUN: %clang_analyze_cc1 -std=c++11 -verify %s \
2 // RUN:   -analyzer-checker=core \
3 // RUN:   -analyzer-checker=cplusplus.NewDelete \
4 // RUN:   -analyzer-checker=unix.MismatchedDeallocator
5 //
6 // RUN: %clang_analyze_cc1 -std=c++11 -verify %s \
7 // RUN:   -analyzer-checker=core \
8 // RUN:   -analyzer-checker=cplusplus.NewDelete \
9 // RUN:   -analyzer-checker=cplusplus.NewDeleteLeaks \
10 // RUN:   -analyzer-checker=unix.MismatchedDeallocator
11 
12 // expected-no-diagnostics
13 
14 typedef __typeof(sizeof(int)) size_t;
15 void *malloc(size_t);
16 void free(void *);
17 
18 //------------------------------------------------------------------
19 // Check that alpha.cplusplus.NewDelete + unix.MismatchedDeallocator
20 // does not enable warnings produced by the unix.Malloc checker.
21 //------------------------------------------------------------------
22 void testMallocFreeNoWarn() {
23   int i;
24   free(&i); // no warn
25 
26   int *p1 = (int *)malloc(sizeof(int));
27   free(++p1); // no warn
28 
29   int *p2 = (int *)malloc(sizeof(int));
30   free(p2);
31   free(p2); // no warn
32 
33   int *p3 = (int *)malloc(sizeof(int)); // no warn
34 
35   int *p4 = (int *)malloc(sizeof(int));
36   free(p4);
37   int j = *p4; // no warn
38 }
39