CRR0012 - Logical OR expression has opposite operands

Feb 28, 2025
2 minutes to read

This analyzer detects expressions that contain logically opposite parts separated by the ‘||’ (OR) statement.

C#
VB.NET

csharp

if (str == null || str != null && str == ""){ // CRR0012
    // ...
}

If str Is Nothing OrElse (str IsNot Nothing AndAlso str = "") Then ' CRR0012
    ' ...
End If

Such expressions can be simplified. Refer to the following chain of transformations.

C#
VB.NET

csharp

str == null || (str != null && str == "");
(str == null || str != null) && (str == null || str == ""); // Distributive property
true && (str == null || str == ""); // (a || !a) == true
str == null || str == ""; // true && b == b

str Is Nothing OrElse (str IsNot Nothing AndAlso str = "")
(str Is Nothing OrElse str IsNot Nothing) AndAlso (str Is Nothing OrElse str = "") ' Distributive property
True AndAlso (str Is Nothing OrElse str = "") ' (a OR NOT a) == True
str Is Nothing OrElse str = "" ' True && b == b

Thus, the str != null ( str IsNot Nothing ) expression is redundant and can be omitted.

C#
VB.NET

csharp

if (str == null || str == ""){
    // ...
}

If str Is Nothing OrElse str = "" Then
    ' ...
End If