C6513
Предупреждение C6513: недопустимая аннотация. Для ElementSizeConst требуются дополнительные свойства размера.
Данное предупреждение означает, что для 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.