Advertencia C6387
'argument' puede ser 'value': esto no cumple la especificación de la función 'function name': Lines: x, y
Esta advertencia se genera si se pasa a un parámetro de función anotado un valor inesperado. Por ejemplo, pasar un valor potencialmente nulo a un parámetro marcado con la anotación _In_
genera esta advertencia.
Nombre de análisis de código: INVALID_PARAM_VALUE_1
El código siguiente genera esta advertencia porque se pasa un parámetro nulo a f(char *)
:
#include <sal.h>
_Post_ _Null_ char * g();
void f(_In_ char *pch);
int main()
{
char *pCh = g();
f(pCh); // Warning C6387
}
Para corregir esta advertencia, utilice el código siguiente:
#include <sal.h>
_Post_ _Notnull_ char * g();
void f(_In_ char *pch);
int main()
{
char *pCh = g();
f(pCh);
}