通过

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 属性使用不当也会生成此警告。

请参见

其他资源

批注属性