[Mono-bugs] [Bug 476257] New: Verifier throws invalid Not Verifiable: fallout of handler block

bugzilla_noreply at novell.com bugzilla_noreply at novell.com
Mon Feb 16 13:03:28 EST 2009


https://bugzilla.novell.com/show_bug.cgi?id=476257


           Summary: Verifier throws invalid Not Verifiable: fallout of
                    handler block
    Classification: Mono
           Product: Mono: Runtime
           Version: unspecified
          Platform: Other
        OS/Version: Other
            Status: NEW
          Severity: Normal
          Priority: P5 - None
         Component: JIT
        AssignedTo: rkumpera at novell.com
        ReportedBy: msafar at novell.com
         QAContact: mono-bugs at lists.ximian.com
          Found By: ---


Verifier throws invalid Not Verifiable: fallout of handler block at 0x00ac in
following code.

method public hidebysig specialname rtspecialname
        instance void .ctor(class [mscorlib]System.Collections.ArrayList list,
                             class Mono.CSharp.DeclSpace 'type',
                             valuetype Mono.CSharp.Location l) cil managed
{
  // Code size 175 (0xaf)
  .maxstack 3
  .locals init ([0] class Mono.CSharp.MemberCore m,
           [1] class [mscorlib]System.Collections.IEnumerator CS$5$0000,
           [2] bool CS$4$0001,
           [3] class [mscorlib]System.IDisposable CS$0$0002)
  IL_0000: ldarg.0
  IL_0001: ldarg.2
  IL_0002: ldarg.3
  IL_0003: call instance void Mono.CSharp.MethodGroupExpr::.ctor(class
Mono.CSharp.DeclSpace,
                                                                       
valuetype Mono.CSharp.Location)
  IL_0008: nop
  IL_0009: nop
  .try
  {
    IL_000a: nop
    IL_000b: ldarg.0
    IL_000c: ldarg.1
    IL_000d: ldtoken Mono.CSharp.IMethod
    IL_0012: call class [mscorlib]System.Type
[mscorlib]System.Type::GetTypeFromHandle(valuetype
[mscorlib]System.RuntimeTypeHandle)
    IL_0017: callvirt instance class [mscorlib]System.Array
[mscorlib]System.Collections.ArrayList::ToArray(class [mscorlib]System.Type)
    IL_001c: castclass class Mono.CSharp.IMethod[]
    IL_0021: stfld class Mono.CSharp.IMethod[]
Mono.CSharp.MethodGroupExpr::Methods
    IL_0026: nop
    IL_0027: leave IL_00ac
  } // end .try
  catch [mscorlib]System.Object
  {
    IL_002c: pop
    IL_002d: nop
    IL_002e: nop
    IL_002f: ldarg.1
    IL_0030: callvirt instance class [mscorlib]System.Collections.IEnumerator
[mscorlib]System.Collections.ArrayList::GetEnumerator()
    IL_0035: stloc.1
    .try
    {
      IL_0036: br.s IL_0086
      IL_0038: ldloc.1
      IL_0039: callvirt instance object
[mscorlib]System.Collections.IEnumerator::get_Current()
      IL_003e: castclass Mono.CSharp.MemberCore
      IL_0043: stloc.0
      IL_0044: nop
      IL_0045: ldloc.0
      IL_0046: isinst Mono.CSharp.Method
      IL_004b: ldnull
      IL_004c: cgt.un
      IL_004e: stloc.2
      IL_004f: ldloc.2
      IL_0050: brtrue.s IL_0085
      IL_0052: nop
      IL_0053: ldstr "Name "
      IL_0058: ldloc.0
      IL_0059: callvirt instance string Mono.CSharp.MemberCore::get_Name()
      IL_005e: call string [mscorlib]System.String::Concat(string,
                                                                  string)
      IL_0063: call void [mscorlib]System.Console::WriteLine(string)
      IL_0068: nop
      IL_0069: ldstr "Found a: "
      IL_006e: ldloc.0
      IL_006f: callvirt instance class [mscorlib]System.Type
[mscorlib]System.Object::GetType()
      IL_0074: callvirt instance string [mscorlib]System.Type::get_FullName()
      IL_0079: call string [mscorlib]System.String::Concat(string,
                                                                  string)
      IL_007e: call void [mscorlib]System.Console::WriteLine(string)
      IL_0083: nop
      IL_0084: nop
      IL_0085: nop
      IL_0086: ldloc.1
      IL_0087: callvirt instance bool
[mscorlib]System.Collections.IEnumerator::MoveNext()
      IL_008c: stloc.2
      IL_008d: ldloc.2
      IL_008e: brtrue.s IL_0038
      IL_0090: leave.s IL_00a9
    } // end .try
    finally
    {
      IL_0092: ldloc.1
      IL_0093: isinst [mscorlib]System.IDisposable
      IL_0098: stloc.3
      IL_0099: ldloc.3
      IL_009a: ldnull
      IL_009b: ceq
      IL_009d: stloc.2
      IL_009e: ldloc.2
      IL_009f: brtrue.s IL_00a8
      IL_00a1: ldloc.3
      IL_00a2: callvirt instance void [mscorlib]System.IDisposable::Dispose()
      IL_00a7: nop
      IL_00a8: endfinally
    } // end handler
    IL_00a9: nop
    IL_00aa: rethrow
  } // end handler
  IL_00ac: nop
  IL_00ad: nop
  IL_00ae: ret
} // end of method MethodGroupExpr::.ctor

-- 
Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.


More information about the mono-bugs mailing list