Comparison always produces the Same Result (CSR)

Description:

Using information about the possible ranges of operands values, CSR can make the conclusion, that a logical expression is always evaluated to the same value (true or false):

Example:

   public void foo(int x) { 
       if (x > 0) { 
        ...
           if (x == 0) // always false
           {
           }
        }
   }