Publier null/notnull au niveau 0 deref d'un paramètre qui est autre qu'un pointeur de niveau simple : %1$ls %2$ls. Il peut ...

Publier null/notnull au niveau 0 deref d'un paramètre qui est autre qu'un pointeur de niveau simple : %1$ls %2$ls. Il peut s'agir d'une erreur d'annotation. Pensez à utiliser à la place _Post_satisfies_ (pour l'annotation d'un type valeur) ou _Outptr_ (pour l'annotation d'un type pointeur à plusieurs niveaux).