diff options
| author | Samuel Arzt <arzt.samuel@live.de> | 2017-12-17 01:22:17 +0300 |
|---|---|---|
| committer | Jan Kotas <jkotas@microsoft.com> | 2017-12-17 01:22:17 +0300 |
| commit | 7df43adf895dab48f8764c3733a2f74d204923be (patch) | |
| tree | 269e237ec5a22e63e3df6b0e10bd3014edc836e2 /src/ILCompiler.WebAssembly | |
| parent | efab81562924f93a2e72d41a70391996a6acae5c (diff) | |
[ILVerify] Implement tail-ret and invalid method end verification (#5122)
* Implemented tail-ret sequence verification.
* Added test cases for tail-ret sequence.
* Fixed ILImporter not calling EndImportingInstruction when returning from switch.
* Added ReportMethodEndInsideInstruction to ILImporter.
* Changed ReportMethodEndInsideInstruction to be reported inside FindJumpTargets.
* Added additional tail-ret tests.
* Changed tail-ret verification to be done in ImportCall.
* Changed ReportMethodEndInsideInstruction to be reported for all il stream read operations.
Diffstat (limited to 'src/ILCompiler.WebAssembly')
| -rw-r--r-- | src/ILCompiler.WebAssembly/src/CodeGen/ILToWebAssemblyImporter.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ILCompiler.WebAssembly/src/CodeGen/ILToWebAssemblyImporter.cs b/src/ILCompiler.WebAssembly/src/CodeGen/ILToWebAssemblyImporter.cs index d7c177242..d91017d75 100644 --- a/src/ILCompiler.WebAssembly/src/CodeGen/ILToWebAssemblyImporter.cs +++ b/src/ILCompiler.WebAssembly/src/CodeGen/ILToWebAssemblyImporter.cs @@ -1930,6 +1930,11 @@ namespace Internal.IL ThrowHelper.ThrowInvalidProgramException(); } + private void ReportMethodEndInsideInstruction() + { + ThrowHelper.ThrowInvalidProgramException(); + } + private void ReportInvalidInstruction(ILOpcode opcode) { ThrowHelper.ThrowInvalidProgramException(); |