Avertissement C28291
Post null/notnull au niveau deref 0 est sans signification pour la fonction 'x' au param 'number'
L’outil Analyse du code signale cet avertissement lorsque la condition post d’un paramètre de dereference level-zero est spécifiée pour avoir une propriété Null/non Null. Cette erreur se produit parce qu’une valeur au niveau de déréférencement zéro ne peut pas changer.