|
150
|
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 }
|
