Comparison of Short with Char (CSC)

Description:

CSC detecs the comparison of short operand with char operand. As far as char type is unsigned, and is converted to int by filling high half of the word with 0, and short type is signed and is converted to int using sign extension, then symbols in range 0x8000...0xFFFF will not be considered equal in such comparison.

Example:

   boolean cmp() { 
       short s = (short)0xabcd;
       char c = (char)s;
       return (c == s); // false
   }