Bug Report T725542
Visible to All Users

Static Code Analysis – "Possible NullReferenceException" false positive for fields with value types

created 6 years ago

The CRR0027 Code Analysis (Possible Null Reference) misfires in cases where it is syntactically impossible for the variable in question to be null - specifically when the variable itself is a Value Type.

This is easily reproducable by enabling analysis and applying against a document containing the following repro class:

public class FalsePositive
{
    private bool _x;
    public string X => _x.ToString(); //This line generates a CRR0027
}

Doing a check on the nature of the variable(Ref Type or Value Type) would provide an immediate escape from further anaylsis.

Comments (1)
AE AE
Alex Eg (DevExpress) 6 years ago

    Hi Ryan,
    I reproduced the issue and we are working on it. We will update this ticket when it is resolved.

    Answers approved by DevExpress Support

    created 6 years ago

    We have fixed the issue described in this ticket and will include the fix in our next maintenance update. To apply this solution before the official update, request a hotfix by clicking the corresponding link for product versions you require.

    Note: Hotfixes may be unavailable for beta versions and updates that are about to be released.

      Disclaimer: The information provided on DevExpress.com and affiliated web properties (including the DevExpress Support Center) is provided "as is" without warranty of any kind. Developer Express Inc disclaims all warranties, either express or implied, including the warranties of merchantability and fitness for a particular purpose. Please refer to the DevExpress.com Website Terms of Use for more information in this regard.

      Confidential Information: Developer Express Inc does not wish to receive, will not act to procure, nor will it solicit, confidential or proprietary materials and information from you through the DevExpress Support Center or its web properties. Any and all materials or information divulged during chats, email communications, online discussions, Support Center tickets, or made available to Developer Express Inc in any manner will be deemed NOT to be confidential by Developer Express Inc. Please refer to the DevExpress.com Website Terms of Use for more information in this regard.