Reports expressions with a value that is found, based on dataflow analysis, to be always constant and probably shouldn't be.

Example:

  if (2 < 3) // condition is always true