Skip to content

R
roslyn

lwm1986 / roslyn
与 Fork 源项目一致

从无法访问的项目Fork

通知 1
Star 0
Fork 0
R
roslyn

体验新版 GitCode，发现更多精彩内容 >>

提交 3881e958 编写于 作者: T Tomáš Matoušek 提交者： GitHub
浏览文件
操作

Debug info for unreachable constants and variables (#19236)

上级 09b08a5d
隐藏空白更改
内联 并排
Showing with 363 addition and 56 deletion
src/Compilers/CSharp/Test/Emit/PDB/PDBDynamicLocalsTests.cs
浏览文件 @ 3881e958
......@@ -1184,7 +1184,7 @@ public static void Main(string[] args)
{
dynamic dInFor;
}
for (dynamic d = ""1""; ;)
for (dynamic d = ""1""; d1 < 0;)
{
//do nothing
}
......@@ -1235,19 +1235,19 @@ public static void Main(string[] args)
<bucket flags=""1"" slotId=""13"" localName=""dInForEach"" />
<bucket flags=""1"" slotId=""15"" localName=""dInFor"" />
<bucket flags=""1"" slotId=""17"" localName=""d"" />
<bucket flags=""1"" slotId=""19"" localName=""dInIf"" />
<bucket flags=""1"" slotId=""20"" localName=""dInElse"" />
<bucket flags=""1"" slotId=""21"" localName=""dInTry"" />
<bucket flags=""1"" slotId=""22"" localName=""dInCatch"" />
<bucket flags=""1"" slotId=""23"" localName=""dInFinally"" />
<bucket flags=""1"" slotId=""20"" localName=""dInIf"" />
<bucket flags=""1"" slotId=""21"" localName=""dInElse"" />
<bucket flags=""1"" slotId=""22"" localName=""dInTry"" />
<bucket flags=""1"" slotId=""23"" localName=""dInCatch"" />
<bucket flags=""1"" slotId=""24"" localName=""dInFinally"" />
</dynamicLocals>
<encLocalSlotMap>
<slot kind=""0"" offset=""15"" />
<slot kind=""0"" offset=""38"" />
<slot kind=""0"" offset=""89"" />
<slot kind=""0"" offset=""159"" />
<slot kind=""0"" offset=""1071"" />
<slot kind=""0"" offset=""1163"" />
<slot kind=""0"" offset=""1077"" />
<slot kind=""0"" offset=""1169"" />
<slot kind=""0"" offset=""261"" />
<slot kind=""1"" offset=""214"" />
<slot kind=""0"" offset=""345"" />
......@@ -1260,17 +1260,18 @@ public static void Main(string[] args)
<slot kind=""0"" offset=""562"" />
<slot kind=""1"" offset=""502"" />
<slot kind=""0"" offset=""603"" />
<slot kind=""1"" offset=""672"" />
<slot kind=""0"" offset=""717"" />
<slot kind=""0"" offset=""781"" />
<slot kind=""0"" offset=""846"" />
<slot kind=""0"" offset=""948"" />
<slot kind=""0"" offset=""1018"" />
<slot kind=""1"" offset=""590"" />
<slot kind=""1"" offset=""678"" />
<slot kind=""0"" offset=""723"" />
<slot kind=""0"" offset=""787"" />
<slot kind=""0"" offset=""852"" />
<slot kind=""0"" offset=""954"" />
<slot kind=""0"" offset=""1024"" />
</encLocalSlotMap>
<encLambdaMap>
<methodOrdinal>0</methodOrdinal>
<lambda offset=""1139"" />
<lambda offset=""1231"" />
<lambda offset=""1145"" />
<lambda offset=""1237"" />
</encLambdaMap>
</customDebugInfo>
<sequencePoints>
......@@ -1309,18 +1310,37 @@ public static void Main(string[] args)
<entry offset=""0xbc"" hidden=""true"" />
<entry offset=""0xbe"" startLine=""32"" startColumn=""9"" endLine=""32"" endColumn=""10"" />
<entry offset=""0xbf"" startLine=""34"" startColumn=""9"" endLine=""34"" endColumn=""10"" />
<entry offset=""0xc0"" hidden=""true"" />
<entry offset=""0xc0"" startLine=""31"" startColumn=""31"" endLine=""31"" endColumn=""37"" />
<entry offset=""0xc6"" hidden=""true"" />
<entry offset=""0xca"" startLine=""35"" startColumn=""9"" endLine=""35"" endColumn=""21"" />
<entry offset=""0xd0"" hidden=""true"" />
<entry offset=""0xd4"" startLine=""36"" startColumn=""9"" endLine=""36"" endColumn=""10"" />
<entry offset=""0xd5"" startLine=""38"" startColumn=""9"" endLine=""38"" endColumn=""10"" />
<entry offset=""0xd8"" startLine=""40"" startColumn=""9"" endLine=""40"" endColumn=""10"" />
<entry offset=""0xd9"" startLine=""42"" startColumn=""9"" endLine=""42"" endColumn=""10"" />
<entry offset=""0xda"" hidden=""true"" />
<entry offset=""0xdb"" startLine=""44"" startColumn=""9"" endLine=""44"" endColumn=""10"" />
<entry offset=""0xdc"" startLine=""46"" startColumn=""13"" endLine=""46"" endColumn=""35"" />
<entry offset=""0xe2"" startLine=""48"" startColumn=""9"" endLine=""48"" endColumn=""14"" />
<entry offset=""0xe3"" startLine=""49"" startColumn=""9"" endLine=""49"" endColumn=""10"" />
<entry offset=""0xe4"" startLine=""51"" startColumn=""9"" endLine=""51"" endColumn=""10"" />
<entry offset=""0xe7"" hidden=""true"" />
<entry offset=""0xe9"" startLine=""53"" startColumn=""9"" endLine=""53"" endColumn=""10"" />
<entry offset=""0xea"" startLine=""55"" startColumn=""9"" endLine=""55"" endColumn=""10"" />
<entry offset=""0xec"" startLine=""56"" startColumn=""9"" endLine=""58"" endColumn=""26"" />
<entry offset=""0x113"" startLine=""59"" startColumn=""9"" endLine=""61"" endColumn=""26"" />
<entry offset=""0x13a"" startLine=""62"" startColumn=""5"" endLine=""62"" endColumn=""6"" />
</sequencePoints>
<scope startOffset=""0x0"" endOffset=""0xc2"">
<scope startOffset=""0x0"" endOffset=""0x13b"">
<namespace name=""System"" />
<namespace name=""System.Collections.Generic"" />
<namespace name=""System.Linq"" />
<local name=""d1"" il_index=""0"" il_start=""0x0"" il_end=""0xc2"" attributes=""0"" />
<local name=""arrInt"" il_index=""1"" il_start=""0x0"" il_end=""0xc2"" attributes=""0"" />
<local name=""scores"" il_index=""2"" il_start=""0x0"" il_end=""0xc2"" attributes=""0"" />
<local name=""arrDynamic"" il_index=""3"" il_start=""0x0"" il_end=""0xc2"" attributes=""0"" />
<local name=""scoreQuery1"" il_index=""4"" il_start=""0x0"" il_end=""0xc2"" attributes=""0"" />
<local name=""scoreQuery2"" il_index=""5"" il_start=""0x0"" il_end=""0xc2"" attributes=""0"" />
<local name=""d1"" il_index=""0"" il_start=""0x0"" il_end=""0x13b"" attributes=""0"" />
<local name=""arrInt"" il_index=""1"" il_start=""0x0"" il_end=""0x13b"" attributes=""0"" />
<local name=""scores"" il_index=""2"" il_start=""0x0"" il_end=""0x13b"" attributes=""0"" />
<local name=""arrDynamic"" il_index=""3"" il_start=""0x0"" il_end=""0x13b"" attributes=""0"" />
<local name=""scoreQuery1"" il_index=""4"" il_start=""0x0"" il_end=""0x13b"" attributes=""0"" />
<local name=""scoreQuery2"" il_index=""5"" il_start=""0x0"" il_end=""0x13b"" attributes=""0"" />
<scope startOffset=""0x5d"" endOffset=""0x63"">
<local name=""dInWhile"" il_index=""6"" il_start=""0x5d"" il_end=""0x63"" attributes=""0"" />
</scope>
......@@ -1339,8 +1359,23 @@ public static void Main(string[] args)
<local name=""dInFor"" il_index=""15"" il_start=""0xa2"" il_end=""0xa4"" attributes=""0"" />
</scope>
</scope>
<scope startOffset=""0xb5"" endOffset=""0xc2"">
<local name=""d"" il_index=""17"" il_start=""0xb5"" il_end=""0xc2"" attributes=""0"" />
<scope startOffset=""0xb5"" endOffset=""0xca"">
<local name=""d"" il_index=""17"" il_start=""0xb5"" il_end=""0xca"" attributes=""0"" />
</scope>
<scope startOffset=""0xd4"" endOffset=""0xd6"">
<local name=""dInIf"" il_index=""20"" il_start=""0xd4"" il_end=""0xd6"" attributes=""0"" />
</scope>
<scope startOffset=""0xd8"" endOffset=""0xda"">
<local name=""dInElse"" il_index=""21"" il_start=""0xd8"" il_end=""0xda"" attributes=""0"" />
</scope>
<scope startOffset=""0xdb"" endOffset=""0xe2"">
<local name=""dInTry"" il_index=""22"" il_start=""0xdb"" il_end=""0xe2"" attributes=""0"" />
</scope>
<scope startOffset=""0xe3"" endOffset=""0xe5"">
<local name=""dInCatch"" il_index=""23"" il_start=""0xe3"" il_end=""0xe5"" attributes=""0"" />
</scope>
<scope startOffset=""0xe9"" endOffset=""0xeb"">
<local name=""dInFinally"" il_index=""24"" il_start=""0xe9"" il_end=""0xeb"" attributes=""0"" />
</scope>
</scope>
</method>
......@@ -1364,7 +1399,7 @@ public static void Main(string[] args)
</symbols>");
}
[Fact, WorkItem(17947, "https://github.com/dotnet/roslyn/issues/17947")]
[Fact]
public void EmitPDBLangConstructsLocalConstants()
{
string source = @"
......@@ -1397,7 +1432,7 @@ public static void Main(string[] args)
{
const dynamic dInFor = null;
}
for (dynamic d = ""1""; ;)
for (dynamic d = ""1""; d1 < 0;)
{
//do nothing
}
......@@ -1427,8 +1462,6 @@ public static void Main(string[] args)
}
}";
// BUG: note that dInIf, dInElse, dInTry, dInCatch, dInFinally, scoreQuery1, scoreQuery2 are missing from <dynamicLocals>
var c = CreateCompilationWithMscorlibAndSystemCore(source, options: TestOptions.DebugDll);
c.VerifyPdb(@"
<symbols>
......@@ -1439,7 +1472,6 @@ public static void Main(string[] args)
<namespace usingCount=""3"" />
</using>
<dynamicLocals>
<bucket flags=""1"" slotId=""9"" localName=""d"" />
<bucket flags=""1"" slotId=""0"" localName=""scores"" />
<bucket flags=""1"" slotId=""0"" localName=""arrDynamic"" />
<bucket flags=""01"" slotId=""0"" localName=""scoreQuery1"" />
......@@ -1448,6 +1480,12 @@ public static void Main(string[] args)
<bucket flags=""1"" slotId=""0"" localName=""dInDoWhile"" />
<bucket flags=""1"" slotId=""0"" localName=""dInForEach"" />
<bucket flags=""1"" slotId=""0"" localName=""dInFor"" />
<bucket flags=""1"" slotId=""9"" localName=""d"" />
<bucket flags=""1"" slotId=""0"" localName=""dInIf"" />
<bucket flags=""1"" slotId=""0"" localName=""dInElse"" />
<bucket flags=""1"" slotId=""0"" localName=""dInTry"" />
<bucket flags=""1"" slotId=""0"" localName=""dInCatch"" />
<bucket flags=""1"" slotId=""0"" localName=""dInFinally"" />
</dynamicLocals>
<encLocalSlotMap>
<slot kind=""0"" offset=""15"" />
......@@ -1460,7 +1498,8 @@ public static void Main(string[] args)
<slot kind=""0"" offset=""495"" />
<slot kind=""1"" offset=""486"" />
<slot kind=""0"" offset=""600"" />
<slot kind=""1"" offset=""669"" />
<slot kind=""1"" offset=""587"" />
<slot kind=""1"" offset=""675"" />
</encLocalSlotMap>
</customDebugInfo>
<sequencePoints>
......@@ -1497,14 +1536,31 @@ public static void Main(string[] args)
<entry offset=""0x72"" hidden=""true"" />
<entry offset=""0x74"" startLine=""32"" startColumn=""9"" endLine=""32"" endColumn=""10"" />
<entry offset=""0x75"" startLine=""34"" startColumn=""9"" endLine=""34"" endColumn=""10"" />
<entry offset=""0x76"" hidden=""true"" />
<entry offset=""0x76"" startLine=""31"" startColumn=""31"" endLine=""31"" endColumn=""37"" />
<entry offset=""0x7c"" hidden=""true"" />
<entry offset=""0x80"" startLine=""35"" startColumn=""9"" endLine=""35"" endColumn=""21"" />
<entry offset=""0x86"" hidden=""true"" />
<entry offset=""0x8a"" startLine=""36"" startColumn=""9"" endLine=""36"" endColumn=""10"" />
<entry offset=""0x8b"" startLine=""38"" startColumn=""9"" endLine=""38"" endColumn=""10"" />
<entry offset=""0x8e"" startLine=""40"" startColumn=""9"" endLine=""40"" endColumn=""10"" />
<entry offset=""0x8f"" startLine=""42"" startColumn=""9"" endLine=""42"" endColumn=""10"" />
<entry offset=""0x90"" hidden=""true"" />
<entry offset=""0x91"" startLine=""44"" startColumn=""9"" endLine=""44"" endColumn=""10"" />
<entry offset=""0x92"" startLine=""46"" startColumn=""13"" endLine=""46"" endColumn=""35"" />
<entry offset=""0x98"" startLine=""48"" startColumn=""9"" endLine=""48"" endColumn=""14"" />
<entry offset=""0x99"" startLine=""49"" startColumn=""9"" endLine=""49"" endColumn=""10"" />
<entry offset=""0x9a"" startLine=""51"" startColumn=""9"" endLine=""51"" endColumn=""10"" />
<entry offset=""0x9d"" hidden=""true"" />
<entry offset=""0x9f"" startLine=""53"" startColumn=""9"" endLine=""53"" endColumn=""10"" />
<entry offset=""0xa0"" startLine=""55"" startColumn=""9"" endLine=""55"" endColumn=""10"" />
<entry offset=""0xa2"" startLine=""58"" startColumn=""5"" endLine=""58"" endColumn=""6"" />
</sequencePoints>
<scope startOffset=""0x0"" endOffset=""0x78"">
<scope startOffset=""0x0"" endOffset=""0xa3"">
<namespace name=""System"" />
<namespace name=""System.Collections.Generic"" />
<namespace name=""System.Linq"" />
<local name=""d1"" il_index=""0"" il_start=""0x0"" il_end=""0x78"" attributes=""0"" />
<local name=""arrInt"" il_index=""1"" il_start=""0x0"" il_end=""0x78"" attributes=""0"" />
<local name=""d1"" il_index=""0"" il_start=""0x0"" il_end=""0xa3"" attributes=""0"" />
<local name=""arrInt"" il_index=""1"" il_start=""0x0"" il_end=""0xa3"" attributes=""0"" />
<constant name=""scores"" value=""null"" type=""Object"" />
<constant name=""arrDynamic"" value=""null"" type=""Object"" />
<constant name=""scoreQuery1"" value=""null"" signature=""System.Collections.Generic.IEnumerable`1{Object}"" />
......@@ -1527,15 +1583,107 @@ public static void Main(string[] args)
<constant name=""dInFor"" value=""null"" type=""Object"" />
</scope>
</scope>
<scope startOffset=""0x6b"" endOffset=""0x78"">
<local name=""d"" il_index=""9"" il_start=""0x6b"" il_end=""0x78"" attributes=""0"" />
<scope startOffset=""0x6b"" endOffset=""0x80"">
<local name=""d"" il_index=""9"" il_start=""0x6b"" il_end=""0x80"" attributes=""0"" />
</scope>
<scope startOffset=""0x8a"" endOffset=""0x8c"">
<constant name=""dInIf"" value=""null"" type=""Object"" />
</scope>
<scope startOffset=""0x8e"" endOffset=""0x90"">
<constant name=""dInElse"" value=""null"" type=""Object"" />
</scope>
<scope startOffset=""0x91"" endOffset=""0x98"">
<constant name=""dInTry"" value=""null"" type=""Object"" />
</scope>
<scope startOffset=""0x99"" endOffset=""0x9b"">
<constant name=""dInCatch"" value=""null"" type=""Object"" />
</scope>
<scope startOffset=""0x9f"" endOffset=""0xa1"">
<constant name=""dInFinally"" value=""null"" type=""Object"" />
</scope>
</scope>
</method>
</methods>
</symbols>");
}
[Fact, WorkItem(17947, "https://github.com/dotnet/roslyn/issues/17947")]
public void VariablesAndConstantsInUnreachableCode()
{
string source = @"
class C
{
void F()
{
dynamic v1 = 1;
const dynamic c1 = null;
throw null;
dynamic v2 = 1;
const dynamic c2 = null;
{
dynamic v3 = 1;
const dynamic c3 = null;
}
}
}
";
var c = CreateStandardCompilation(source, options: TestOptions.DebugDll);
var v = CompileAndVerify(c);
v.VerifyIL("C.F", @"
{
// Code size 10 (0xa)
.maxstack 1
.locals init (object V_0, //v1
object V_1, //v2
object V_2) //v3
IL_0000: nop
IL_0001: ldc.i4.1
IL_0002: box ""int""
IL_0007: stloc.0
IL_0008: ldnull
IL_0009: throw
}");
c.VerifyPdb(@"
<symbols>
<methods>
<method containingType=""C"" name=""F"">
<customDebugInfo>
<using>
<namespace usingCount=""0"" />
</using>
<dynamicLocals>
<bucket flags=""1"" slotId=""0"" localName=""v1"" />
<bucket flags=""1"" slotId=""1"" localName=""v2"" />
<bucket flags=""1"" slotId=""0"" localName=""c1"" />
<bucket flags=""1"" slotId=""0"" localName=""c2"" />
</dynamicLocals>
<encLocalSlotMap>
<slot kind=""0"" offset=""19"" />
<slot kind=""0"" offset=""103"" />
<slot kind=""0"" offset=""181"" />
</encLocalSlotMap>
</customDebugInfo>
<sequencePoints>
<entry offset=""0x0"" startLine=""5"" startColumn=""5"" endLine=""5"" endColumn=""6"" />
<entry offset=""0x1"" startLine=""6"" startColumn=""9"" endLine=""6"" endColumn=""24"" />
<entry offset=""0x8"" startLine=""9"" startColumn=""9"" endLine=""9"" endColumn=""20"" />
</sequencePoints>
<scope startOffset=""0x0"" endOffset=""0xa"">
<local name=""v1"" il_index=""0"" il_start=""0x0"" il_end=""0xa"" attributes=""0"" />
<local name=""v2"" il_index=""1"" il_start=""0x0"" il_end=""0xa"" attributes=""0"" />
<constant name=""c1"" value=""null"" type=""Object"" />
<constant name=""c2"" value=""null"" type=""Object"" />
</scope>
</method>
</methods>
</symbols>
");
}
[Fact]
public void EmitPDBVarVariableLocal()
{
......
src/Compilers/CSharp/Test/Emit/PDB/PDBTupleTests.cs
浏览文件 @ 3881e958
......@@ -2,6 +2,7 @@
using Microsoft.CodeAnalysis.CSharp.Test.Utilities;
using Microsoft.CodeAnalysis.Test.Utilities;
using Roslyn.Test.Utilities;
using Xunit;
namespace Microsoft.CodeAnalysis.CSharp.UnitTests.PDB
......@@ -262,5 +263,83 @@ static void F(System.Collections.Generic.IEnumerable<(int a, int b)> ie)
</methods>
</symbols>"));
}
[Fact, WorkItem(17947, "https://github.com/dotnet/roslyn/issues/17947")]
public void VariablesAndConstantsInUnreachableCode()
{
string source = @"
class C
{
void F()
{
(int a, int b)[] v1 = null;
const (int a, int b)[] c1 = null;
throw null;
(int a, int b)[] v2 = null;
const (int a, int b)[] c2 = null;
{
(int a, int b)[] v3 = null;
const (int a, int b)[] c3 = null;
}
}
}
";
var c = CreateStandardCompilation(source, new[] { ValueTupleRef, SystemRuntimeFacadeRef }, options: TestOptions.DebugDll);
var v = CompileAndVerify(c);
v.VerifyIL("C.F", @"
{
// Code size 5 (0x5)
.maxstack 1
.locals init ((int a, int b)[] V_0, //v1
(int a, int b)[] V_1, //v2
(int a, int b)[] V_2) //v3
IL_0000: nop
IL_0001: ldnull
IL_0002: stloc.0
IL_0003: ldnull
IL_0004: throw
}
");
c.VerifyPdb(@"
<symbols>
<methods>
<method containingType=""C"" name=""F"">
<customDebugInfo>
<using>
<namespace usingCount=""0"" />
</using>
<tupleElementNames>
<local elementNames=""|a|b"" slotIndex=""0"" localName=""v1"" scopeStart=""0x0"" scopeEnd=""0x0"" />
<local elementNames=""|a|b"" slotIndex=""1"" localName=""v2"" scopeStart=""0x0"" scopeEnd=""0x0"" />
<local elementNames=""|a|b"" slotIndex=""-1"" localName=""c1"" scopeStart=""0x0"" scopeEnd=""0x5"" />
<local elementNames=""|a|b"" slotIndex=""-1"" localName=""c2"" scopeStart=""0x0"" scopeEnd=""0x5"" />
</tupleElementNames>
<encLocalSlotMap>
<slot kind=""0"" offset=""28"" />
<slot kind=""0"" offset=""133"" />
<slot kind=""0"" offset=""232"" />
</encLocalSlotMap>
</customDebugInfo>
<sequencePoints>
<entry offset=""0x0"" startLine=""5"" startColumn=""5"" endLine=""5"" endColumn=""6"" />
<entry offset=""0x1"" startLine=""6"" startColumn=""9"" endLine=""6"" endColumn=""36"" />
<entry offset=""0x3"" startLine=""9"" startColumn=""9"" endLine=""9"" endColumn=""20"" />
</sequencePoints>
<scope startOffset=""0x0"" endOffset=""0x5"">
<local name=""v1"" il_index=""0"" il_start=""0x0"" il_end=""0x5"" attributes=""0"" />
<local name=""v2"" il_index=""1"" il_start=""0x0"" il_end=""0x5"" attributes=""0"" />
<constant name=""c1"" value=""null"" signature=""System.ValueTuple`2{Int32, Int32}[]"" />
<constant name=""c2"" value=""null"" signature=""System.ValueTuple`2{Int32, Int32}[]"" />
</scope>
</method>
</methods>
</symbols>
");
}
}
}
src/Compilers/Core/Portable/PEWriter/CustomDebugInfoWriter.cs
浏览文件 @ 3881e958
......@@ -141,21 +141,21 @@ internal static void SerializeCustomDebugInformation(ref CustomDebugInfoEncoder
{
ArrayBuilder<T> builder = null;
foreach (var local in methodBody.LocalVariables)
foreach (var currentScope in methodBody.LocalScopes)
{
Debug.Assert(local.SlotIndex >= 0);
if (filter(local))
foreach (var local in currentScope.Variables)
{
if (builder == null)
Debug.Assert(local.SlotIndex >= 0);
if (filter(local))
{
builder = ArrayBuilder<T>.GetInstance();
if (builder == null)
{
builder = ArrayBuilder<T>.GetInstance();
}
builder.Add(getInfo(default(LocalScope), local));
}
builder.Add(getInfo(default(LocalScope), local));
}
}
foreach (var currentScope in methodBody.LocalScopes)
{
foreach (var localConstant in currentScope.Constants)
{
Debug.Assert(localConstant.SlotIndex < 0);
......
src/Compilers/VisualBasic/Test/Emit/PDB/PDBTupleTests.vb
浏览文件 @ 3881e958
' Copyright (c) Microsoft. All Rights Reserved. Licensed under the Apache License, Version 2.0. See License.txt in the project root for license information.
Imports Microsoft.CodeAnalysis.Test.Utilities
Imports Roslyn.Test.Utilities
Namespace Microsoft.CodeAnalysis.VisualBasic.UnitTests.PDB
......@@ -9,16 +10,13 @@ Namespace Microsoft.CodeAnalysis.VisualBasic.UnitTests.PDB
<Fact>
Public Sub Local()
Dim source =
<compilation>
<file><![CDATA[
Dim source = "
Class C
Shared Sub F()
Dim t As (A As Integer, B As Integer, (C As Integer, Integer), Integer, Integer, G As Integer, H As Integer, I As Integer) = (1, 2, (3, 4), 5, 6, 7, 8, 9)
End Sub
End Class
]]></file>
</compilation>
"
Dim comp = CreateCompilationWithMscorlib(source, references:={ValueTupleRef, SystemRuntimeFacadeRef}, options:=TestOptions.DebugDll)
comp.VerifyPdb("C.F",
<symbols>
......@@ -33,9 +31,9 @@ End Class
</encLocalSlotMap>
</customDebugInfo>
<sequencePoints>
<entry offset="0x0" startLine="2" startColumn="5" endLine="2" endColumn="19"/>
<entry offset="0x1" startLine="3" startColumn="13" endLine="3" endColumn="163"/>
<entry offset="0x1c" startLine="4" startColumn="5" endLine="4" endColumn="12"/>
<entry offset="0x0" startLine="3" startColumn="5" endLine="3" endColumn="19"/>
<entry offset="0x1" startLine="4" startColumn="13" endLine="4" endColumn="163"/>
<entry offset="0x1c" startLine="5" startColumn="5" endLine="5" endColumn="12"/>
</sequencePoints>
<scope startOffset="0x0" endOffset="0x1d">
<currentnamespace name=""/>
......@@ -46,6 +44,88 @@ End Class
</symbols>)
End Sub
<Fact, WorkItem(17947, "https://github.com/dotnet/roslyn/issues/17947")>
Public Sub VariablesAndConstantsInUnreachableCode()
Dim source = "
Imports System
Imports System.Collections.Generic
Class C(Of T)
Enum E
A
End Enum
Sub F()
Dim v1 As C(Of (a As Integer, b As Integer)).E = Nothing
Const c1 As C(Of (a As Integer, b As Integer)).E = Nothing
Throw New Exception()
Dim v2 As C(Of (a As Integer, b As Integer)).E = Nothing
Const c2 As C(Of (a As Integer, b As Integer)).E = Nothing
Do
Dim v3 As C(Of (a As Integer, b As Integer)).E = Nothing
Const c3 As C(Of (a As Integer, b As Integer)).E = Nothing
Loop
End Sub
End Class
"
Dim c = CreateCompilationWithMscorlib(source, references:={ValueTupleRef, SystemRuntimeFacadeRef}, options:=TestOptions.DebugDll)
Dim v = CompileAndVerify(c)
v.VerifyIL("C(Of T).F()", "
{
// Code size 9 (0x9)
.maxstack 1
.locals init (C(Of (a As Integer, b As Integer)).E V_0, //v1
C(Of (a As Integer, b As Integer)).E V_1, //v2
C(Of (a As Integer, b As Integer)).E V_2) //v3
IL_0000: nop
IL_0001: ldc.i4.0
IL_0002: stloc.0
IL_0003: newobj ""Sub System.Exception..ctor()""
IL_0008: throw
}
")
c.VerifyPdb(
<symbols>
<methods>
<method containingType="C`1" name="F">
<customDebugInfo>
<tupleElementNames>
<local elementNames="|a|b" slotIndex="0" localName="v1" scopeStart="0x0" scopeEnd="0x0"/>
<local elementNames="|a|b" slotIndex="1" localName="v2" scopeStart="0x0" scopeEnd="0x0"/>
<local elementNames="|a|b" slotIndex="-1" localName="c1" scopeStart="0x0" scopeEnd="0x9"/>
<local elementNames="|a|b" slotIndex="-1" localName="c2" scopeStart="0x0" scopeEnd="0x9"/>
</tupleElementNames>
<encLocalSlotMap>
<slot kind="0" offset="4"/>
<slot kind="0" offset="173"/>
<slot kind="0" offset="325"/>
</encLocalSlotMap>
</customDebugInfo>
<sequencePoints>
<entry offset="0x0" startLine="10" startColumn="5" endLine="10" endColumn="12"/>
<entry offset="0x1" startLine="11" startColumn="13" endLine="11" endColumn="65"/>
<entry offset="0x3" startLine="14" startColumn="9" endLine="14" endColumn="30"/>
</sequencePoints>
<scope startOffset="0x0" endOffset="0x9">
<namespace name="System" importlevel="file"/>
<namespace name="System.Collections.Generic" importlevel="file"/>
<currentnamespace name=""/>
<local name="v1" il_index="0" il_start="0x0" il_end="0x9" attributes="0"/>
<local name="v2" il_index="1" il_start="0x0" il_end="0x9" attributes="0"/>
<constant name="c1" value="0" signature="E{System.ValueTuple`2{Int32, Int32}}"/>
<constant name="c2" value="0" signature="E{System.ValueTuple`2{Int32, Int32}}"/>
</scope>
</method>
</methods>
</symbols>
)
End Sub
End Class
End Namespace
Markdown is supported
0% 或 .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑！
想要评论请 注册 或