[analyzer] __attribute__((malloc)) when pointer is returned in argument

[Alon Bar-Lev via Gcc-help <gcc-help@xxxxxxxxxxx>]

Hello,

I have the following case:

    int allocator1(void **handle);
    void deallocator1(void *handle);
aka:
    void *handle = NULL;
    allocator1(&handle);
    deallocator1(handle);

How do I express this for -fanalizer? As far as I could see the
__attribute__((malloc)) assumes that the return value is the pointer, I
could not find how to let it know that the pointer is returned in a
parameter.

Thanks,
Alon