Detecta conversiones explícitas de un tipo de datos mayor a otro menor
Justificación: Un gran número de conversiones de tipo puede indicar que ha elegido los tipos de datos incorrectos para las variables. Por este motivo, existen directrices de programación que exigen una justificación explícita de las conversiones de tipos de datos.
Importancia: Bajo
Ejemplo
PROGRAM SA0133 VAR siVar:SINT; diVar:DINT; liVar:LINT; byVar:BYTE; uiVar:UINT; dwVar:DWORD; lwVar:LWORD; rVar:REAL; lrVar:LREAL; END_VAR siVar := LINT_TO_SINT(liVar); // SA0133 byVar := DINT_TO_BYTE(diVar); // SA0133 siVar := DWORD_TO_SINT(dwVar); // SA0133 uiVar := LREAL_TO_UINT(lrVar); // SA0133 rVar := LWORD_TO_REAL(lwVar); // SA0133 --> SA0133: Explicit narrowing conversion from type 'LINT' to type 'SINT' --> SA0133: Explicit narrowing conversion from type 'DINT' to type 'BYTE' --> SA0133: Explicit narrowing conversion from type 'DWORD' to type 'SINT' --> SA0133: Explicit narrowing conversion from type 'LREAL' to type 'UINT' --> SA0133: Explicit narrowing conversion from type 'LWORD' to type 'REAL'