SSCLI-sscli_20021101/tests/security/verifier/opcodes/castclass.il

// ==++==
//
//   
//    Copyright (c) 2002 Microsoft Corporation.  All rights reserved.
//   
//    The use and distribution terms for this software are contained in the file
//    named license.txt, which can be found in the root of this distribution.
//    By using this software in any fashion, you are agreeing to be bound by the
//    terms of this license.
//   
//    You must not remove this notice, or any other, from this software.
//   
//
// ==--==
.assembly extern mscorlib { }
.assembly 'castclass' { }
.class public auto ansi beforefieldinit Test extends [mscorlib]System.Object {
.method public hidebysig instance void Negative1() cil managed
{
	.maxstack  8
	ldc.i8 0
	castclass unsigned int64
	pop
	ret
}
.method public hidebysig instance void Negative2() cil managed
{
	.maxstack  8
	ldstr ""
	castclass int32&
	pop
	ret
}
.method public hidebysig instance void Negative3() cil managed
{
	.maxstack  8
	ldnull
	castclass int32*
	pop
	ret
}
.method public hidebysig instance void Negative4() cil managed
{
	.maxstack  8
	ldnull
	castclass method void*()
	pop
	ret
}
.method public hidebysig instance void Negative5() cil managed
{
	.maxstack  8
	ldnull
	.emitbyte 0x75
	.emitbyte 0x12
	.emitbyte 0x34
	.emitbyte 0x56
	.emitbyte 0x78
	pop
	ret
}
.method public hidebysig instance void Positive6() cil managed
{
	.maxstack  8
	.try {
		ldc.i4.7
		newarr int8
		castclass int16[]
		leave.s IL_END
	} catch [mscorlib]System.InvalidCastException {
		leave.s IL_END
	}
IL_END:
	ret
}
.method public hidebysig instance void Positive7() cil managed
{
	.maxstack  8
	.try {
		ldstr bytearray()
		castclass class [mscorlib]System.Void
		leave.s IL_END
	} catch [mscorlib]System.InvalidCastException {
		leave.s IL_END
	}
IL_END:
	ret
}
.method public hidebysig instance void Positive8() cil managed
{
	.maxstack  8
	.try {
		ldstr bytearray()
		castclass class [mscorlib]System.RuntimeTypeHandle
		leave.s IL_END
	} catch [mscorlib]System.InvalidCastException {
		leave.s IL_END
	}
IL_END:
	ret
}
.method public hidebysig static int32 Main() cil managed
{
	.entrypoint
	.maxstack 8
	.locals init (class Test V_0)
	newobj     instance void Test::.ctor()
	stloc.0
	.try {
		ldloc.0
		callvirt instance void Test::Negative1()
		ldstr "Negative1() passed verification."
		call void [mscorlib]System.Console::WriteLine(string)
		leave IL_FAIL
	} catch [mscorlib]System.Security.VerificationException {
		leave.s IL_NEXT_1
	}
IL_NEXT_1:
/*
	.try {
		ldloc.0
		callvirt instance void Test::Negative2()
		ldstr "Negative2() passed verification."
		call void [mscorlib]System.Console::WriteLine(string)
		leave IL_FAIL
	} catch [mscorlib]System.Security.VerificationException {
		leave.s IL_NEXT_2
	}
IL_NEXT_2:
	.try {
		ldloc.0
		callvirt instance void Test::Negative3()
		ldstr "Negative3() passed verification."
		call void [mscorlib]System.Console::WriteLine(string)
		leave IL_FAIL
	} catch [mscorlib]System.Security.VerificationException {
		leave.s IL_NEXT_3
	}
IL_NEXT_3:
	.try {
		ldloc.0
		callvirt instance void Test::Negative4()
		ldstr "Negative4() passed verification."
		call void [mscorlib]System.Console::WriteLine(string)
		leave IL_FAIL
	} catch [mscorlib]System.Security.VerificationException {
		leave.s IL_NEXT_4
	}
IL_NEXT_4:
	.try {
		ldloc.0
		callvirt instance void Test::Negative5()
		ldstr "Negative5() passed verification."
		call void [mscorlib]System.Console::WriteLine(string)
		leave IL_FAIL
	} catch [mscorlib]System.Security.VerificationException {
		leave.s IL_NEXT_5
	} */
IL_NEXT_5:
	ldloc.0
	callvirt instance void Test::Positive6()
IL_NEXT_6:
	ldloc.0
	callvirt instance void Test::Positive7()
IL_NEXT_7:
	ldloc.0
	callvirt instance void Test::Positive8()
IL_NEXT_8:
	ldc.i4 0
	ldstr "PASSED"
	br.s IL_OUT
IL_FAIL:
	ldc.i4 1
	ldstr "FAILED!"
IL_OUT:
	call void [mscorlib]System.Console::WriteLine(string)
	ret
}
.method public hidebysig specialname rtspecialname instance void .ctor() cil managed
{
	.maxstack  8
	ldarg.0
	call instance void [mscorlib]System.Object::.ctor()
	ret
}
}