mirror of https://github.com/icsharpcode/ILSpy.git
14 changed files with 381 additions and 13 deletions
@ -0,0 +1,121 @@ |
|||||||
|
using System; |
||||||
|
|
||||||
|
namespace ICSharpCode.Decompiler.Tests.TestCases.Pretty |
||||||
|
{ |
||||||
|
class NullPropagation |
||||||
|
{ |
||||||
|
class MyClass |
||||||
|
{ |
||||||
|
public int IntVal; |
||||||
|
public MyClass Field; |
||||||
|
public MyClass Property { get; set; } |
||||||
|
public MyClass Method(int arg) { return null; } |
||||||
|
public MyClass this[int index] { |
||||||
|
get { return null; } |
||||||
|
} |
||||||
|
|
||||||
|
public void Done() |
||||||
|
{ |
||||||
|
} |
||||||
|
} |
||||||
|
|
||||||
|
struct MyStruct |
||||||
|
{ |
||||||
|
public int IntVal; |
||||||
|
public MyClass Field; |
||||||
|
public MyStruct? Property1 { get { return null; } } |
||||||
|
public MyStruct Property2 { get { return default; } } |
||||||
|
public MyStruct? Method1(int arg) { return null; } |
||||||
|
public MyStruct Method2(int arg) { return default; } |
||||||
|
public MyStruct? this[int index] { |
||||||
|
get { return null; } |
||||||
|
} |
||||||
|
|
||||||
|
public void Done() |
||||||
|
{ |
||||||
|
} |
||||||
|
} |
||||||
|
|
||||||
|
int GetInt() |
||||||
|
{ |
||||||
|
return 9; |
||||||
|
} |
||||||
|
|
||||||
|
string GetString() |
||||||
|
{ |
||||||
|
return null; |
||||||
|
} |
||||||
|
|
||||||
|
MyClass GetMyClass() |
||||||
|
{ |
||||||
|
return null; |
||||||
|
} |
||||||
|
|
||||||
|
MyStruct? GetMyStruct() |
||||||
|
{ |
||||||
|
return null; |
||||||
|
} |
||||||
|
|
||||||
|
string Substring() |
||||||
|
{ |
||||||
|
return GetString()?.Substring(GetInt()); |
||||||
|
} |
||||||
|
|
||||||
|
void CallDone() |
||||||
|
{ |
||||||
|
GetMyClass()?.Done(); |
||||||
|
GetMyClass()?.Field?.Done(); |
||||||
|
GetMyClass()?.Field.Done(); |
||||||
|
GetMyClass()?.Property?.Done(); |
||||||
|
GetMyClass()?.Property.Done(); |
||||||
|
GetMyClass()?.Method(GetInt())?.Done(); |
||||||
|
GetMyClass()?.Method(GetInt()).Done(); |
||||||
|
GetMyClass()?[GetInt()]?.Done(); |
||||||
|
GetMyClass()?[GetInt()].Done(); |
||||||
|
} |
||||||
|
|
||||||
|
void CallDoneStruct() |
||||||
|
{ |
||||||
|
GetMyStruct()?.Done(); |
||||||
|
GetMyStruct()?.Field?.Done(); |
||||||
|
GetMyStruct()?.Field.Done(); |
||||||
|
GetMyStruct()?.Property1?.Done(); |
||||||
|
GetMyStruct()?.Property2.Done(); |
||||||
|
GetMyStruct()?.Method1(GetInt())?.Done(); |
||||||
|
GetMyStruct()?.Method2(GetInt()).Done(); |
||||||
|
GetMyStruct()?[GetInt()]?.Done(); |
||||||
|
} |
||||||
|
|
||||||
|
void RequiredParentheses() |
||||||
|
{ |
||||||
|
(GetMyClass()?.Field).Done(); |
||||||
|
(GetMyClass()?.Method(GetInt())).Done(); |
||||||
|
(GetMyStruct()?.Property2)?.Done(); |
||||||
|
} |
||||||
|
|
||||||
|
int? SumOfChains() |
||||||
|
{ |
||||||
|
return GetMyClass()?.IntVal |
||||||
|
+ GetMyClass()?.Field.IntVal |
||||||
|
+ GetMyClass()?.Field?.IntVal |
||||||
|
+ GetMyClass()?.Property.IntVal |
||||||
|
+ GetMyClass()?.Property?.IntVal |
||||||
|
+ GetMyClass()?.Method(GetInt()).IntVal |
||||||
|
+ GetMyClass()?.Method(GetInt())?.IntVal |
||||||
|
+ GetMyClass()?[GetInt()].IntVal |
||||||
|
+ GetMyClass()?[GetInt()]?.IntVal; |
||||||
|
} |
||||||
|
|
||||||
|
int? SumOfChainsStruct() |
||||||
|
{ |
||||||
|
return GetMyStruct()?.IntVal |
||||||
|
+ GetMyStruct()?.Field.IntVal |
||||||
|
+ GetMyStruct()?.Field?.IntVal |
||||||
|
+ GetMyStruct()?.Property2.IntVal |
||||||
|
+ GetMyStruct()?.Property1?.IntVal |
||||||
|
+ GetMyStruct()?.Method2(GetInt()).IntVal |
||||||
|
+ GetMyStruct()?.Method1(GetInt())?.IntVal |
||||||
|
+ GetMyStruct()?[GetInt()]?.IntVal; |
||||||
|
} |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,62 @@ |
|||||||
|
// Copyright (c) 2018 Daniel Grunwald
|
||||||
|
//
|
||||||
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of this
|
||||||
|
// software and associated documentation files (the "Software"), to deal in the Software
|
||||||
|
// without restriction, including without limitation the rights to use, copy, modify, merge,
|
||||||
|
// publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons
|
||||||
|
// to whom the Software is furnished to do so, subject to the following conditions:
|
||||||
|
//
|
||||||
|
// The above copyright notice and this permission notice shall be included in all copies or
|
||||||
|
// substantial portions of the Software.
|
||||||
|
//
|
||||||
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED,
|
||||||
|
// INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
|
||||||
|
// PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE
|
||||||
|
// FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
|
||||||
|
// OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
|
||||||
|
// DEALINGS IN THE SOFTWARE.
|
||||||
|
|
||||||
|
using System.Diagnostics; |
||||||
|
using System.Linq; |
||||||
|
|
||||||
|
namespace ICSharpCode.Decompiler.IL |
||||||
|
{ |
||||||
|
partial class NullableUnwrap |
||||||
|
{ |
||||||
|
internal override void CheckInvariant(ILPhase phase) |
||||||
|
{ |
||||||
|
base.CheckInvariant(phase); |
||||||
|
Debug.Assert(Argument.ResultType == StackType.O, "nullable.unwrap expects nullable type as input"); |
||||||
|
Debug.Assert(Ancestors.Any(a => a is NullableRewrap)); |
||||||
|
} |
||||||
|
} |
||||||
|
|
||||||
|
partial class NullableRewrap |
||||||
|
{ |
||||||
|
internal override void CheckInvariant(ILPhase phase) |
||||||
|
{ |
||||||
|
base.CheckInvariant(phase); |
||||||
|
Debug.Assert(Argument.HasFlag(InstructionFlags.MayUnwrapNull)); |
||||||
|
} |
||||||
|
|
||||||
|
public override InstructionFlags DirectFlags => InstructionFlags.ControlFlow; |
||||||
|
|
||||||
|
protected override InstructionFlags ComputeFlags() |
||||||
|
{ |
||||||
|
// Convert MayUnwrapNull flag to ControlFlow flag.
|
||||||
|
// Also, remove EndpointUnreachable flag, because the end-point is reachable through
|
||||||
|
// the implicit nullable.unwrap branch.
|
||||||
|
const InstructionFlags flagsToRemove = InstructionFlags.MayUnwrapNull | InstructionFlags.EndPointUnreachable; |
||||||
|
return (Argument.Flags & ~flagsToRemove) | InstructionFlags.ControlFlow; |
||||||
|
} |
||||||
|
|
||||||
|
public override StackType ResultType { |
||||||
|
get { |
||||||
|
if (Argument.ResultType == StackType.Void) |
||||||
|
return StackType.Void; |
||||||
|
else |
||||||
|
return StackType.O; |
||||||
|
} |
||||||
|
} |
||||||
|
} |
||||||
|
} |
Loading…
Reference in new issue