[Mono-bugs] [Bug 463294] New: Verifier reports false positives for MS/ vbc compiled assembly

[bugzilla_noreply at novell.com]

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


           Summary: Verifier reports false positives for MS/vbc compiled
                    assembly
           Product: Mono: Runtime
           Version: unspecified
          Platform: Other
        OS/Version: Other
            Status: NEW
          Severity: Normal
          Priority: P5 - None
         Component: misc
        AssignedTo: mono-bugs at lists.ximian.com
        ReportedBy: rkvinge at novell.com
         QAContact: mono-bugs at lists.ximian.com
          Found By: ---


Created an attachment (id=263032)
 --> (https://bugzilla.novell.com/attachment.cgi?id=263032)
vbnc.exe

Repro:

pedump <attached file> --verify error,code,cls

rolf at linux:> pedump  vbnc.exe --verify error,code,cls
In method: vbnc.My.MyProject/MyWebServices::Create__Instance__(T)
Not Verifiable: Compare instruction applyed to ill formed stack (Complex x
Complex) at 0x0008
In method: vbnc.My.MyProject/ThreadSafeObjectProvider`1::get_GetInstance()
Not Verifiable: Compare instruction applyed to ill formed stack (Complex x
Complex) at 0x000c
In method: vbnc.CodeBlock::.ctor(ParsedObject)
Error: Invalid generic instantiation of type vbnc.Nameables`1 at 0x000b
In method: vbnc.CodeBlock::AddVariable(LocalVariableDeclaration)
Error: Invalid generic instantiation of type vbnc.Nameables`1 at 0x0008
In method: vbnc.CodeBlock::GenerateCode(EmitInfo)
Error: Invalid generic instantiation of type vbnc.Nameables`1 at 0x001d
In method: vbnc.CodeBlock::get_Variables()
Error: Invalid local variable 0
Error: Invalid generic instantiation of type vbnc.Nameables`1 at 0x0000
In method: vbnc.CodeBlock::ResolveTypeReferences()
Error: Invalid generic instantiation of type vbnc.Nameables`1 at 0x001d
In method: vbnc.CodeBlock::ResolveCode(ResolveInfo)
Error: Invalid generic instantiation of type vbnc.Nameables`1 at 0x001f
In method: vbnc.CodeBlock::FindVariable(string)
Error: Invalid generic instantiation of type vbnc.Nameables`1 at 0x0007
In method: vbnc.Helper::IsNothing(T)
Not Verifiable: Compare instruction applyed to ill formed stack (Complex x
Complex) at 0x0008
In method: vbnc.TypeResolution::.cctor()
Not Verifiable: Incompatible this argument on stack with method signature at
0x02ad
Not Verifiable: Incompatible this argument on stack with method signature at
0x029b
Not Verifiable: Incompatible this argument on stack with method signature at
0x008b
Not Verifiable: Incompatible this argument on stack with method signature at
0x0076
Not Verifiable: Incompatible this argument on stack with method signature at
0x0058
Not Verifiable: Incompatible type Complex in static field store at 0x0039
In method:
vbnc.TypeResolution::IsImplicitlyConvertible(Compiler,TypeCode,TypeCode)
Not Verifiable: Incompatible this argument on stack with method signature at
0x0008
In method:
vbnc.TypeResolution::IsExplicitlyConvertible(Compiler,TypeCode,TypeCode)
Not Verifiable: Incompatible this argument on stack with method signature at
0x0008
In method: vbnc.TypeResolution::setImplicit(TypeCode,TypeCode[])
Not Verifiable: Incompatible this argument on stack with method signature at
0x0016
In method: vbnc.Parser::ParseUsingStatement(ParsedObject,bool)
Error: Invalid generic instantiation of type vbnc.Nameables`1 at 0x0144
In method:
vbnc.Parser::ParseList(BaseList`1<T>,Parser/ParseDelegate_Parent`1<T>,ParsedObject)
Not Verifiable: Compare instruction applyed to ill formed stack (Complex x
Complex) at 0x0041
In method: vbnc.CatchStatement::ResolveStatement(ResolveInfo)
Error: Invalid generic instantiation of type vbnc.Nameables`1 at 0x00fe
In method: vbnc.ForStatement::ResolveStatement(ResolveInfo)
Error: Invalid generic instantiation of type vbnc.Nameables`1 at 0x0262
Error count: 11


rolf at linux:> mono --version
Mono JIT compiler version 2.3 (/trunk/mono r121766 Thu Dec 18 09:52:01 CET
2008)
Copyright (C) 2002-2008 Novell, Inc and Contributors. www.mono-project.com
        TLS:           __thread
        GC:            Included Boehm (with typed GC)
        SIGSEGV:       altstack
        Notifications: epoll
        Architecture:  x86
        Disabled:      none

Note that peverify does not complain about the assembly.


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