arg_type_is_dynptr
if (arg_type_is_dynptr(arg_type) && type == PTR_TO_STACK)
if (arg_type_is_release(arg_type) && !arg_type_is_dynptr(arg_type) &&