C6504

C6504 de aviso: anotação inválido: a propriedade pode ser usada somente em valores do ponteiro, de ponteiro-à- membro, ou tipo de matriz

Este aviso indica o uso de uma propriedade em um tipo de dados incompatível.Para obter mais informações sobre os tipos de dados suportados pelas propriedades, consulte Propriedades da anotação.

Exemplo

O seguinte código gera este aviso como a propriedade de _Null_ não pode ser usado no tipo de dados de referência.

#include<sal.h>

class Point
{
public:
    //  members
};

void f(_Pre_ _Null_ Point& pt)
{
    // code ...
}

Para corrigir este aviso, use o seguinte código:

#include<sal.h>

class Point
{
public:
    //  members
};

void f(_Pre_ _Null_  Point* pt)
{
    // code ...
}

O código defeituoso mostrado anteriormente também gera C6516 de aviso como conflitos de propriedade levam a uma anotação inválido.