Post null/notnull al livello di dereferenziazione 0 di un parametro diverso da un puntatore di livello singolo: %1$ls %2$ls. ...

Post null/notnull al livello di dereferenziazione 0 di un parametro diverso da un puntatore di livello singolo: %1$ls %2$ls. Può indicare un'annotazione non corretta. Provare a utilizzare _Post_satisfies_ (per l'annotazione di un tipo di valore) o _Outptr_ (per l'annotazione di un tipo di puntatore a più livelli).