Freigeben über

Warnung C6500

  • Artikel

Ungültige Anmerkung: Der Wert für die Eigenschaft 'name' ist ungültig.

Hinweis

Diese Warnung tritt nur in Code auf, der eine veraltete Version der Quellcodeanmerkungssprache (SOURCE-Code Annotation Language, SAL) verwendet. Es wird empfohlen, Ihren Code zu portieren, um die neueste Version von SAL zu verwenden. Weitere Informationen finden Sie unter Verwenden von SAL-Anmerkungen zum Reduzieren von C/C++-Codefehlern.

Hinweise

Diese Warnung gibt an, dass ein in der Anmerkung verwendeter Eigenschaftswert ungültig ist. Beispielsweise kann es vorkommen, wenn in der Deref Eigenschaft eine falsche Ableitungsebene verwendet wird, oder wenn Sie einen Konstantenwert verwenden, der größer als size_t für Eigenschaften ElementSizeist.

Codeanalysename: INVALID_ATTRIBUTE_PROPERTY

Beispiel

Der folgende Code generiert diese Warnung, da in der Pre Bedingung eine falsche Ableitungsebene verwendet wird:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre( Deref=2, Access=SA_Read )] char buffer[] );

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;

void f( [Pre( Deref=2, Access=Read )] char buffer[] );

Um diese Warnung zu korrigieren, geben Sie die richtige Ableitungsebene an, wie im folgenden Beispielcode gezeigt:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre( Deref=1, Access=SA_Read )] char buffer[] );

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;

void f( [Pre( Deref=1, Access=Read )] char buffer[] );

Diese Warnung wird sowohl für pre- als auch für post-Bedingungen generiert.