CodeQL documentation

Expression always evaluates to the same value

ID: java/evaluation-to-constant
Kind: problem
Security severity: 
Severity: warning
Precision: very-high
Tags:
   - maintainability
   - useless-code
Query suites:
   - java-security-and-quality.qls

Click to see the query in the CodeQL repository

Some expressions always evaluate to the same result, no matter what their subexpressions are:

  • x * 0 always evaluates to 0.

  • x % 1 always evaluates to 0.

  • x & 0 always evaluates to 0.

  • x || true always evaluates to true.

  • x && false always evaluates to false. Whenever x is not constant, such an expression is often a mistake.

Recommendation

If the expression is supposed to evaluate to the same result every time it is executed, consider replacing the entire expression with its result.

Example

The following method tries to determine whether x is even by checking whether x % 1 == 0.

public boolean isEven(int x) {
	return x % 1 == 0; //Does not work
}

However, x % 1 == 0 is always true when x is an integer. The correct check is x % 2 == 0.

public boolean isEven(int x) {
    return x % 2 == 0; //Does work
}

References

  • © GitHub, Inc.
  • Terms
  • Privacy