提交 ae3a19e4 编写于 作者: N nmgafter

add a regression test for an unrepro issue reported on msdn (changeset 1367359)

上级 c363dfac
......@@ -2105,6 +2105,32 @@ static void Main()
Assert.Equal("x", GetSymbolNamesSortedAndJoined(dataFlows.WrittenInside));
}
[Fact]
public void UnaryPlus()
{
// reported at https://social.msdn.microsoft.com/Forums/vstudio/en-US/f5078027-def2-429d-9fef-ab7f240883d2/writteninside-for-unary-operators?forum=roslyn
var dataFlowAnalysisResults = CompileAndAnalyzeDataFlowStatements(@"
class Main
{
static int Main(int a)
{
/*<bind>*/
return +a;
/*</bind>*/
}
}
");
Assert.Equal(null, GetSymbolNamesSortedAndJoined(dataFlowAnalysisResults.VariablesDeclared));
Assert.Equal(null, GetSymbolNamesSortedAndJoined(dataFlowAnalysisResults.AlwaysAssigned));
Assert.Equal("a", GetSymbolNamesSortedAndJoined(dataFlowAnalysisResults.DataFlowsIn));
Assert.Equal(null, GetSymbolNamesSortedAndJoined(dataFlowAnalysisResults.DataFlowsOut));
Assert.Equal("a", GetSymbolNamesSortedAndJoined(dataFlowAnalysisResults.ReadInside));
Assert.Equal(null, GetSymbolNamesSortedAndJoined(dataFlowAnalysisResults.ReadOutside));
Assert.Equal(null, GetSymbolNamesSortedAndJoined(dataFlowAnalysisResults.WrittenInside));
Assert.Equal("a", GetSymbolNamesSortedAndJoined(dataFlowAnalysisResults.WrittenOutside));
Assert.Equal(null, GetSymbolNamesSortedAndJoined(dataFlowAnalysisResults.Captured));
}
#endregion
#region "Statements"
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册