El valor null/notnull posterior en el nivel 0 de desreferenciación de un parámetro que no es un puntero de un único nivel: ...

El valor null/notnull posterior en el nivel 0 de desreferenciación de un parámetro que no es un puntero de un único nivel: %1$ls %2$ls. Esto puede indicar una anotación errónea. Considere en su lugar el uso de _Post_satisfies_ (para la anotación de un tipo de valor) o bien _Outptr_(para la anotación de un tipo de puntero de varios niveles).