C6512

  • Artículo

Actualización: noviembre 2007

C6512

Advertencia C6512: Anotación no válida: la propiedad Null debe ser Maybe si la propiedad Valid es No

Esta advertencia indica que se considera que Null es un valor válido; por consiguiente, Null no se puede utilizar con el valor No de la propiedad Valid.

Ejemplo

El código siguiente genera esta advertencia:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(Null=SA_Yes, Valid=SA_No)] char *pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(Null=Yes, Valid=No)] char *pc);

Para corregir esta advertencia, utilice el código siguiente:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(Null=SA_Yes, Valid=SA_Maybe)] char *pc);
-or-
void f([SA_Pre(Null=SA_Yes, Valid=SA_Yes)] char *pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(Null=Yes, Valid=Maybe)] char *pc);
- or-
void f([Pre(Null=Yes, Valid=Yes)] char *pc);