21 lines · cpp
1// REQUIRES: static-analyzer2// RUN: clang-tidy %s -checks='-*,clang-analyzer-unix.Malloc' -config='{CheckOptions: { "clang-analyzer-unix.DynamicMemoryModeling:Optimistic": true}}' -- | FileCheck %s3typedef __typeof(sizeof(int)) size_t;4void *malloc(size_t);5void free(void *);6void __attribute((ownership_returns(malloc))) *my_malloc(size_t);7void __attribute((ownership_takes(malloc, 1))) my_free(void *);8 9void 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 15void af2() {16 void *p = my_malloc(12);17 my_free(p);18 free(p);19 // CHECK: warning: Attempt to release already released memory [clang-analyzer-unix.Malloc]20}21