Post null/notnull no nível de desreferência 0 de um parâmetro que é algo diferente de um ponteiro de nível único: %1$ls %2$ls. ...

Post null/notnull no nível de desreferência 0 de um parâmetro que é algo diferente de um ponteiro de nível único: %1$ls %2$ls. Isso pode indicar uma anotação incorreta. Em vez disso, considere usar _Post_satisfies_ (para anotação de um tipo de valor) ou _Outptr_ (para anotação de um tipo de ponteiro de vários níveis).