Re: [PATCH] analyzer: Recognize __builtin_free as a matching deallocator

2021-08-25 Thread Jeff Law via Gcc-patches
On 8/25/2021 9:16 AM, Siddhesh Poyarekar wrote: On 8/25/21 5:44 PM, Matthias Klose wrote: On 7/28/21 1:44 PM, David Malcolm via Gcc-patches wrote: On Wed, 2021-07-28 at 10:34 +0530, Siddhesh Poyarekar wrote: Recognize __builtin_free as being equivalent to free when passed into

Re: [PATCH] analyzer: Recognize __builtin_free as a matching deallocator

2021-08-25 Thread Siddhesh Poyarekar
On 8/25/21 5:44 PM, Matthias Klose wrote: On 7/28/21 1:44 PM, David Malcolm via Gcc-patches wrote: 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

Re: [PATCH] analyzer: Recognize __builtin_free as a matching deallocator

2021-08-25 Thread Matthias Klose
On 7/28/21 1:44 PM, David Malcolm via Gcc-patches wrote: > 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

Re: [PATCH] analyzer: Recognize __builtin_free as a matching deallocator

2021-07-28 Thread David Malcolm via Gcc-patches
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

[PATCH] analyzer: Recognize __builtin_free as a matching deallocator

2021-07-27 Thread Siddhesh Poyarekar
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