The software contains an expression that will always evaluate to true.