C: cleanup attribute not supported about infer

[dulmarod]

Hi,
Thanks for reporting this. We haven't looked into the cleanup attribute yet, but would be happy to support it. Could you please give us some small example of how this attribute is used and what kind of false positive leaks you get?
Thanks,
Dulma

[phomes]

Hi,
Here is an example of how to use it. When a variable with the attribute goes out of scope the function specified with the cleanup attribute will be called. The typical usecase is for free'ing the variable. This saves us from manually freeing in all error cases etc.

#include <stdlib.h>
#include <string.h>

void my_cleanup_func(char **c)
{
  puts("debug: cleanup_func called");
  free(*c);
}

int main(int argc, char **argv)
{
  __attribute__ ((cleanup(my_cleanup_func))) char *s = NULL;

  s = strdup("demo string");

  return 0; /* s goes out of scope. Cleanup function called - no leak */
}

[vavrusa]

It'd be great to support this, as it can't be easily modeled by a function or a macro.

[iphydf]

This is equivalent to C++ scope bound resource management, i.e. a class with a destructor.