SA0012 : Variable pouvant être déclarée comme constante
Détecte les variables qui ne sont pas accessibles avec l'autorisation d'écriture et qui pourraient donc être déclarées comme des constantes
Justification : Si une variable est écrite uniquement au point de déclaration et est par ailleurs utilisée uniquement pour la lecture, alors l'analyse statique suppose que la variable ne doit pas non plus être modifiée. Tout d'abord, une déclaration en constante revient à vérifier que la variable n'est pas modifiée lors du changement de programme. Deuxièmement, la déclaration en tant que constante peut entraîner un code plus rapide.
Important
Si plusieurs applications existent dans un projet, seuls les objets sous l'application actuellement active sont affectés. S'il n'y a qu'une seule application, les objets du pool de POU commun sont également affectés.
Importance : Faible
PROGRAM PLC_PRG
VAR
iVar : INT := INT#17;
iTest : INT;
END_VAR
iTest := iTest + iVar; // SA0012: 'iVar' could be declared as constant
Sortie dans le messages voir:
SA0012 : La variable 'iVar' pourrait être déclarée comme constante