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@lists.ximian.com ReportedBy: rkvi...@novell.com QAContact: mono-bugs@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 r...@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 r...@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. _______________________________________________ mono-bugs maillist - mono-bugs@lists.ximian.com http://lists.ximian.com/mailman/listinfo/mono-bugs