检测条件数据类型与CASE 分支数据类型不匹配的代码位置
理由如果CASE 变量和CASE 本身的数据类型不匹配，则可能表示出错。
重要性：低
示例
TYPE My_Enum : ( eins := 1, zwei := 2, drei := 3, vier := 4 ); END_TYPE PROGRAM PLC_PRG VAR diVar : DINT; xTemp : BOOL; END_VAR diVar := diVar + DINT#1; CASE diVar OF DINT#1: xTemp := FALSE; My_Enum.zwei, DINT#3: //SA0077 xTemp := TRUE; ELSE xTemp := NOT xTemp; END_CASE --> SA0077: Type mismatches with CASE expression