Clang Project

clang_source_code/docs/analyzer/checkers/mismatched_deallocator_example.cpp
1// C, C++
2void test() {
3  int *p = (int *)malloc(sizeof(int));
4  delete p; // warn
5}
6
7// C, C++
8void __attribute((ownership_returns(malloc))) *user_malloc(size_t);
9
10void test() {
11  int *p = (int *)user_malloc(sizeof(int));
12  delete p; // warn
13}
14
15// C, C++
16void test() {
17  int *p = new int;
18  free(p); // warn
19}
20
21// C, C++
22void test() {
23  int *p = new int[1];
24  realloc(p, sizeof(long)); // warn
25}
26
27// C, C++
28template <typename T>
29struct SimpleSmartPointer {
30  T *ptr;
31
32  explicit SimpleSmartPointer(T *p = 0) : ptr(p) {}
33  ~SimpleSmartPointer() {
34    delete ptr; // warn
35  }
36};
37
38void test() {
39  SimpleSmartPointer<int> a((int *)malloc(4));
40}
41
42// C++
43void test() {
44  int *p = (int *)operator new(0);
45  delete[] p; // warn
46}
47
48// Objective-C, C++
49void test(NSUInteger dataLength) {
50  int *p = new int;
51  NSData *d = [NSData dataWithBytesNoCopy:p
52               length:sizeof(int) freeWhenDone:1];
53    // warn +dataWithBytesNoCopy:length:freeWhenDone: cannot take
54    // ownership of memory allocated by 'new'
55}
56
57
CodeThinker, Enjoy your reading code