# V3063\. A part of conditional expression is always true/false if it is evaluated\.

The analyzer detected a possible error inside a logical condition a part of which is always true/false and is considered to be suspicious\.

Consider the following example:

```cpp
uint i = length;
while ((i >= 0) && (n[i] == 0)) i--;
```

The "i \>\= 0" condition is always true because the 'i' variable is of type uint, so if 'i' reaches zero, the while loop won't stop and 'i' will take the maximum value of type uint\. An attempt of further access to the 'n' array will result in raising an OverflowException\.

The fixed code:

```cpp
int i = length;
while ((i >= 0) && (n[i] == 0)) i--;
```

Here's another example:

```cpp
public static double Cos(double d)
{
    // -9223372036854775295 <= d <= 9223372036854775295
    bool expected = !performCheck || 
                    !(-9223372036854775295 <= d || // <=
                      d <= 9223372036854775295);
    if (!expected)
      ....
```

The programmer wanted to make sure that the d variable belongs to the specified range \(it is stated in the comment before the check\) but made a typo and wrote the '\|\|' operator instead of '&&'\. The fixed code:

```cpp
bool expected = !performCheck || 
                !(-9223372036854775295 <= d && 
                  d <= 9223372036854775295);
```

Sometimes the V3063 warning detects simply redundant code rather than an error\. For example:

```cpp
if (@char < 0x20 || @char > 0x7e) {
    if (@char > 0x7e
        || (@char >= 0x01 && @char <= 0x08)
        || (@char >= 0x0e && @char <= 0x1f)
        || @char == 0x27
        || @char == 0x2d)
```

The analyzer will warn us that the subexpressions @char \=\= 0x27 and @char \=\= 0x2d are always false because of the preceding if statement\. This code may work quite well, but it is redundant and we'd better simplify it\. It will make the program easier to read for other developers\.

This is the simplified version of the code:

```cpp
if (@char < 0x20 || @char > 0x7e) {
    if (@char > 0x7e
        || (@char >= 0x01 && @char <= 0x08)
        || (@char >= 0x0e && @char <= 0x1f))
```