On Tue, 23 Jul 2019 at 16:49, Daniel P. Berrangé <berra...@redhat.com> wrote: > > Both GCC and CLang support a C extension attribute((cleanup)) which > allows you to define a function that is invoked when a stack variable > exits scope. This typically used to free the memory allocated to it, > though you're not restricted to this. For example it could be used to > unlock a mutex.
Does Coverity handle this? Can it be made to wire up this kind of deallocation into checks of use-after-free/memory leaks/etc? thanks - PMM
