hack数据

PARAM A
IF A = 0 THEN
RETURN C
ELSE
IF A > 0 THEN
RETURN B
ELSE
RETURN C
END IF
END IF
RETURN T

第二篇输出为

Line 3: variable C might not have been initialized
Line 6: variable B might not have been initialized
Line 8: variable C might not have been initialized
Line 11: unreachable code

但是第一篇输出为

Line 3: variable C might not have been initialized

这好像不对。