src/runcore/profiling.c: Can't use attribute nonnull on a non-pointer operand

[doughera]

As of r42927, gcc-4.3.2 complains about the attribute nonnull on a non-pointer operand:

src/runcore/profiling.c:59: error: nonnull argument references non-pointer operand (argument 1, operand 2)

The attached patch fixes the error by removing the attribute.

[doughera]

I know that the section patched in the above patch is inside a HEADERIZER block, but according to the headerizer docs, treating static functions is on the TODO list. Since the function in question here is a static function, I hadn't assumed it would actually work, but instead posted something quickly in order to help unbreak the build.

It turns out headerizer does actually work for that file. The correct ARG* incantation to be used doesn't seem to be documented, but reading the code, it looks like ARGIN_NULLOK is what is needed. (Curiously, I see no way to specify an integer argument that must be non-zero, but that ends up not being relevant here.)

I have attached a newer version of the patch that runs the headerizer.

[darbelo]

Fixed in r42929.