dotnet/roslyn

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

オープン

#56,517 opened on 2021/09/18

GitHub で見るコントリビューターガイド
 (1 件のコメント) (0 件のリアクション) (0 人の担当者)C# (4,257 件のフォーク)batch import
Area-CompilersBugFeature - Nullable Reference Typeshelp wanted

Repository metrics

Stars
 (20,414 個のスター)
PR merge metrics
 (平均マージ 6d 17h) (30d で 256 merged PRs)

説明

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/`）を調査してください。問題は、関係演算子の比較（例：`a < b`）が true を返した後、`a` と `b` の null 許容性状態が null 非許容に更新されるべきですが、現在は更新されていません。null 許容性分析でリフト演算子がどのように処理されているかを確認し、状態を適切に変更してください。参照されている仕様セクションは、リフト関係演算子が true を返す場合、どちらのオペランドも null ではないことを確認しています。この修正には、`NullableWalker` を変更して、そのような比較後に null 非許容を伝播させることが含まれる可能性があります。
技術スタック
csharp
領域
tooling
Issue 種別
バグ
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-2日
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
C#Nullable reference types
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
30