Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
lwm1986
roslyn
提交
29e64b35
R
roslyn
项目概览
lwm1986
/
roslyn
与 Fork 源项目一致
从无法访问的项目Fork
通知
1
Star
0
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
DevOps
流水线
流水线任务
计划
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
R
roslyn
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
DevOps
DevOps
流水线
流水线任务
计划
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
流水线任务
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
未验证
提交
29e64b35
编写于
3月 14, 2019
作者:
V
Vladimir Sadov
提交者:
GitHub
3月 14, 2019
浏览文件
操作
浏览文件
下载
差异文件
Merge pull request #34084 from VSadov/Fix31503
Report nullness warnings for nullable collections in foreach.
上级
62c2dc78
9516be26
变更
2
显示空白变更内容
内联
并排
Showing
2 changed file
with
17 addition
and
2 deletion
+17
-2
src/Compilers/CSharp/Portable/FlowAnalysis/NullableWalker.cs
src/Compilers/CSharp/Portable/FlowAnalysis/NullableWalker.cs
+8
-0
src/Compilers/CSharp/Test/Semantic/Semantics/NullableReferenceTypesTests.cs
...rp/Test/Semantic/Semantics/NullableReferenceTypesTests.cs
+9
-2
未找到文件。
src/Compilers/CSharp/Portable/FlowAnalysis/NullableWalker.cs
浏览文件 @
29e64b35
...
@@ -2592,6 +2592,14 @@ private TypeWithState VisitCallReceiver(BoundCall node)
...
@@ -2592,6 +2592,14 @@ private TypeWithState VisitCallReceiver(BoundCall node)
{
{
checkNullableValueType
=
true
;
checkNullableValueType
=
true
;
}
}
else
if
(
method
.
OriginalDefinition
==
compilation
.
GetSpecialTypeMember
(
SpecialMember
.
System_Nullable_T_get_Value
))
{
// call to get_Value may not occur directly in source, but may be inserted as a result of premature lowering.
// One example where we do it is foreach with nullables.
// The reason is Dev10 compatibility (see: UnwrapCollectionExpressionIfNullable in ForEachLoopBinder.cs)
// Regardless of the reasons, we know that the method does not tolerate nulls.
checkNullableValueType
=
true
;
}
// https://github.com/dotnet/roslyn/issues/30598: Mark receiver as not null
// https://github.com/dotnet/roslyn/issues/30598: Mark receiver as not null
// after arguments have been visited, and only if the receiver has not changed.
// after arguments have been visited, and only if the receiver has not changed.
...
...
src/Compilers/CSharp/Test/Semantic/Semantics/NullableReferenceTypesTests.cs
浏览文件 @
29e64b35
...
@@ -79781,8 +79781,15 @@ static void F1(S? s)
...
@@ -79781,8 +79781,15 @@ static void F1(S? s)
}
}
}";
}";
var comp = CreateCompilation(source, options: WithNonNullTypesTrue());
var comp = CreateCompilation(source, options: WithNonNullTypesTrue());
// https://github.com/dotnet/roslyn/issues/31503: Report warning for `.Value.GetEnumerator()` calls.
comp.VerifyDiagnostics();
comp.VerifyDiagnostics(
// (11,27): warning CS8629: Nullable value type may be null.
// foreach (var i in s) // 1
Diagnostic(ErrorCode.WRN_NullableValueTypeMayBeNull, "s").WithLocation(11, 27),
// (18,27): warning CS8629: Nullable value type may be null.
// foreach (var i in t) // 2
Diagnostic(ErrorCode.WRN_NullableValueTypeMayBeNull, "t").WithLocation(18, 27)
);
}
}
[Fact]
[Fact]
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录