int (Object foo) { final int temp = m_foo + ((SubtractionInCompareTo)foo).m_foo; return <warning descr="Subtraction 'm_foo - ((SubtractionInCompareTo)foo).m_foo' in 'compareTo()' may result in overflow or precision loss">m_foo - ((SubtractionInCompareTo)foo).m_foo</warning>; }