Partager via

C6518

  • Article

avertissement C6518 : Annotation invalide : La propriété « SAL_writableTo » peut ne pas être spécifiée comme une condition préalable dans les tampons qui ne sont pas activées en écriture : « _Param_ (1) »

Cet avertissement indique qu'un conflit existe entre la valeur d'une propriété 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 ...
}