C6518

avertissement C6518 : Annotation non valide : La propriété « SAL_writableTo » ne peut être spécifiée comme composant requis sur les buffers qui ne sont pas accessibles en écriture : « _Param_ (1) »

Cet avertissement indique qu'un conflit entre une valeur de propriété d' SAL_writableTo et une propriété accessible en écriture.En règle générale, il indique qu'une propriété accessible en écriture ne dispose pas d'un accès en écriture au paramètre en cours d'annotation.

Exemple

Le code suivant génère cet avertissement car les compilations d'annotation _Out_ pour inclure une propriété d' SAL_writableTo, qui n'autorise pas l'accès en écriture :

#include <sal.h>
void f(_Out_ const char* pc)
{
    //code that can't write to *pc ...
}

Pour corriger cet avertissement, utilisez le code suivant :

#include <sal.h>
void f(_Out_  char* pc)
{
    pc = "Hello World";
    //code ...
}