| 1 | // REQUIRES: static-analyzer |
|---|
| 2 | // RUN: clang-tidy %s -checks='-*,clang-analyzer-unix.Malloc' -config='{CheckOptions: { "clang-analyzer-unix.DynamicMemoryModeling:Optimistic": true}}' -- | FileCheck %s |
|---|
| 3 | typedef __typeof(sizeof(int)) size_t; |
|---|
| 4 | void *malloc(size_t); |
|---|
| 5 | void free(void *); |
|---|
| 6 | void __attribute((ownership_returns(malloc))) *my_malloc(size_t); |
|---|
| 7 | void __attribute((ownership_takes(malloc, 1))) my_free(void *); |
|---|
| 8 | |
|---|
| 9 | void f1() { |
|---|
| 10 | void *p = malloc(12); |
|---|
| 11 | return; |
|---|
| 12 | // CHECK: warning: Potential leak of memory pointed to by 'p' [clang-analyzer-unix.Malloc] |
|---|
| 13 | } |
|---|
| 14 | |
|---|
| 15 | void af2() { |
|---|
| 16 | void *p = my_malloc(12); |
|---|
| 17 | my_free(p); |
|---|
| 18 | free(p); |
|---|
| 19 | // CHECK: warning: Attempt to free released memory [clang-analyzer-unix.Malloc] |
|---|
| 20 | } |
|---|
| 21 | |
|---|
