Detecta conversiones explícitas de tipos de datos con signo a tipos de datos sin signo y viceversa.
Justificación: El uso excesivo de conversiones de tipo puede indicar que ha elegido 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 PLC_PRG VAR byVar :BYTE; udiVar : UDINT; uliVar : ULINT; lwVar : LWORD; wVar : WORD; siVar : SINT; iVar : INT; diVar : DINT; liVar : LINT; END_VAR liVar := ULINT_TO_LINT(uliVar); udiVar := DINT_TO_UDINT(diVar); siVar := BYTE_TO_SINT(byVar); wVar := INT_TO_WORD(iVar); lwVar := SINT_TO_LWORD(siVar); --> SA0134: Explicit signed/unsigned conversion from type 'ULINT' to type 'LINT' --> SA0134: Explicit signed/unsigned conversion from type 'DINT' to type 'UDINT' --> SA0134: Explicit signed/unsigned conversion from type 'BYTE' to type 'SINT' --> SA0134: Explicit signed/unsigned conversion from type 'INT' to type 'WORD' --> SA0134: Explicit signed/unsigned conversion from type 'SINT' to type 'LWORD'