C6500

Aktualisiert: November 2007

C6500

Warnung C6500: Ungültige Anmerkung: Der Wert für die <Name>-Eigenschaft ist ungültig.

Diese Warnung gibt an, dass ein in der Anmerkung verwendeter Eigenschaftenwert nicht gültig ist. Dieser Fall kann beispielsweise eintreten, wenn in der Deref-Eigenschaft eine falsche Dereferenzierungsebene verwendet wird oder Sie für Eigenschaften wie ElementSize einen Konstantenwert verwenden, der größer als size_t ist.

Beispiel

Im folgenden Code wird diese Warnung generiert, da in der Vorbedingung eine falsche Dereferenzierungsebene 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 Dereferenzierungsebene 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 Vor- als auch für Nachbedingungen generiert.

Siehe auch

Referenz

Deref