dotnet/roslyn

Lifted relational operators returning true should inform nullability tracking that neither operand can be null

开放

#56,517 创建于 2021年9月18日

在 GitHub 查看贡献者指南
 (1 条评论) (0 个反应) (0 位负责人)C# (4,257 个派生)batch import
Area-CompilersBugFeature - Nullable Reference Typeshelp wanted

仓库指标

星标
 (20,414 个星标)
PR 合并指标
 (平均合并 6天 17小时) (30 天内合并 256 个 PR)

描述

Version Used: 17.0.0-p4.0

These two CS8629 diagnostics should not be generated:

#nullable enable

using System;

class C
{
    void M(DateTime? a, DateTime? b)
    {
        if (a < b) // If this is true, neither variable can be null
        {
            // ⚠ CS8629 Nullable value type may be null.
            //  ↓
            _ = a.Value;
            //  ↓
            _ = b.Value;
        }
    }
}

https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/language-specification/expressions#lifted-operators:

For the relational operators < > <= >=, [...t]he lifted operator produces the value false if one or both operands are null.

贡献者指南

研究方向
检查 Roslyn 代码库中的 `NullableWalker` 或 `NullableFlowAnalysis` 类（例如 `src/Features/Core/Portable/Nullable/`）。问题是，在返回 true 的关系运算符比较（例如 `a < b`）之后，`a` 和 `b` 的可空性状态应更新为非空，但目前并未更新。查找可空性分析中如何处理提升运算符，并相应地修改状态。引用的规范部分确认，如果提升的关系运算符返回 true，则两个操作数都不为 null。此修复可能涉及修改 `NullableWalker`，以在此类比较后传播非空状态。
技术栈
csharp
领域
tooling
议题类型
缺陷
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-2 天
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
C#Nullable reference types
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
30