Поделиться через

C6513

  • Статья

Предупреждение C6513: недопустимая аннотация. Для ElementSizeConst требуются дополнительные свойства размера.

ПримечаниеПримечание

Это предупреждение возникает только в коде, который использует нерекомендуемую версию языка заметок исходного кода (SAL).Рекомендуется переносить код для использования последней версии SAL.Дополнительные сведения см. в разделе Использование аннотаций SAL для сокращения количества дефектов в коде C/C++.

Данное предупреждение означает, что для ElementSizeConst требуются другие свойства, которые отсутствуют в аннотации.Одно лишь указание свойства ElementSizeConst не предоставляет никаких преимуществ в процессе анализа.Помимо указания ElementSize, необходимо задать также другие свойства, например ValidElementsConst или WritableElementsConst.

Пример

Данное предупреждение создается в следующем коде:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(ElementSizeConst=4)] void* pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ElementSizeConst=4)] void* pc);

Для устранения этого предупреждения используйте следующий код:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(ElementSizeConst=4, ValidElementsConst=2)] void* pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f ([Pre(ElementSizeConst=4, ValidElementsConst=2)] void* pc);

Это предупреждение также создается при неверном использовании свойства ElementSize.

См. также

Другие ресурсы

Свойства заметок