Check if function arguments should be pointers

Not all arguments that are pointers in C are marked as pointers, so we also
check if they are output parameters.