On Wed, 2021-07-28 at 10:34 +0530, Siddhesh Poyarekar wrote: > Recognize __builtin_free as being equivalent to free when passed into > __attribute__((malloc ())), similar to how it is treated when it is > encountered as a call. This fixes spurious warnings in glibc where > xmalloc family of allocators as well as reallocarray, memalign, > etc. are declared to have __builtin_free as the free function. > > gcc/analyzer/ChangeLog: > * sm-malloc.cc > (malloc_state_machine::get_or_create_deallocator): Recognize > __builtin_free. > > gcc/testsuite/ChangeLog: > * gcc.dg/analyzer/attr-malloc-1.c (compatible_alloc, > compatible_alloc2): New extern allocator declarations. > (test_9, test_10): New tests.
Looks good to me, thanks Dave
