diff --git a/lib/resource.c b/lib/resource.c index 89e559b4..7632dfff 100644 --- a/lib/resource.c +++ b/lib/resource.c @@ -274,6 +274,12 @@ rlookup(unsigned long a) debug("Not found.\n"); } +static void +my_check(int *whatever UNUSED) +{ + printf("Everything works well.\n"); +} + /** * resource_init - initialize the resource manager * @@ -284,6 +290,7 @@ rlookup(unsigned long a) void resource_init(void) { + __attribute__((cleanup(my_check))) int test = 42; resource_sys_init(); root_pool.r.class = &pool_class;