| // RUN: clang-tidy %s -checks='-*,clang-analyzer-unix.Malloc' -config='{CheckOptions: [{ key: "clang-analyzer-unix.Malloc:Optimistic", value: true}]}' -- | FileCheck %s |
| typedef __typeof(sizeof(int)) size_t; |
| void __attribute((ownership_returns(malloc))) *my_malloc(size_t); |
| void __attribute((ownership_takes(malloc, 1))) my_free(void *); |
| // CHECK: warning: Potential leak of memory pointed to by 'p' [clang-analyzer-unix.Malloc] |
| // CHECK: warning: Attempt to free released memory [clang-analyzer-unix.Malloc] |