C6525
aviso C6525: especificação de tamanho inválida: o valor da propriedade pode não ser válido
Observação
Esse aviso ocorre apenas no código que está usando uma versão preterida do SAL (código-fonte de anotação). É recomendável que você porte seu código para usar a versão mais recente do SAL. Para obter mais informações, consulte usando anotações de sal para reduzir os defeitos de código C/C++.
Esse aviso indica que o valor da propriedade usado para especificar o tamanho não é válido. Isso ocorrerá se o parâmetro de tamanho for anotado usando válido = não.
Exemplo
O código a seguir gera este aviso porque a propriedade ValidElements usa um parâmetro de tamanho que é marcado como inválido:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="*count")] char * px, [SA_Pre(Valid=SA_No)]size_t *count);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="*count")] char * px, [Pre(Valid=No)]size_t *count);
Para corrigir esse aviso, especifique um parâmetro de tamanho válido, conforme mostrado no código a seguir:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="*count")] char * px, [SA_Pre(Valid=SA_Yes)]size_t *count);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="*count")] char * px, [Pre(Valid=Yes)]size_t *count);