[Mono-bugs] [Bug 473730] New: Crash with internal compiler error on LINQ query

[bugzilla_noreply at novell.com]

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


           Summary: Crash with internal compiler error on LINQ query
    Classification: Mono
           Product: Mono: Compilers
           Version: 2.2.x
          Platform: x86-64
        OS/Version: Kubuntu
            Status: NEW
          Severity: Critical
          Priority: P5 - None
         Component: C#
        AssignedTo: mono-bugs at lists.ximian.com
        ReportedBy: e.kotlyarov at gmail.com
         QAContact: mono-bugs at lists.ximian.com
          Found By: ---


User-Agent:       Opera/10.00 (X11; Linux x86_64 ; U; en) Presto/2.2.0

gmcs compiler crashes when compiling LINQ query when selected value is compared
with values from another query.

Reproducible: Always

Steps to Reproduce:
// 1. Save following code as Main.cs
// 2. run command "gmcs Main.cs"

using System;
using System.Linq;

namespace testmono
{
    class MainClass
    {
        public static void Main(string[] args)
        {
            int[] ints = {3,2,1};
            string[] strings = {"aaa","bb","c"};

            var err = (from i in ints select strings.AsQueryable().Single(s =>
s.Length == i));

            Console.WriteLine(err.ToArray()[0]);
        }
    }
}

Actual Results:  
Exception caught by the compiler while compiling:
   Block that caused the problem begin at: Main.cs(13,87):
                     Block being compiled: [Main.cs(13,92):,Main.cs(13,105):]
System.Exception: Expression Mono.CSharp.LocalVariableReference did not set its
type after Resolve
called from: Mono.CSharp.LocalVariableReference
Exception caught by the compiler while compiling:
   Block that caused the problem begin at: Main.cs(13,51):
                     Block being compiled: [Main.cs(13,51):,Internal(1,1):]
Mono.CSharp.InternalErrorException: Main.cs(13,87):
Exception caught by the compiler while compiling:
   Block that caused the problem begin at: Main.cs(8,36):
                     Block being compiled: [Main.cs(13,25):,Main.cs(13,107):]
Mono.CSharp.InternalErrorException: Main.cs(13,87):
Internal compiler error at Main.cs(8,36):: exception caught while emitting
MethodBuilder [MainClass::Main]

Unhandled Exception: Mono.CSharp.InternalErrorException: Main.cs(13,87): --->
System.Exception: Expression Mono.CSharp.LocalVariableReference did not set its
type after Resolve
called from: Mono.CSharp.LocalVariableReference
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags
flags) [0x00000] 
  at Mono.CSharp.SimpleName.DoSimpleNameResolve (Mono.CSharp.EmitContext ec,
Mono.CSharp.Expression right_side, Boolean intermediate) [0x00000] 
  at Mono.CSharp.SimpleName.SimpleNameResolve (Mono.CSharp.EmitContext ec,
Mono.CSharp.Expression right_side, Boolean intermediate) [0x00000] 
  at Mono.CSharp.SimpleName.DoResolve (Mono.CSharp.EmitContext ec, Boolean
intermediate) [0x00000] 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags
flags) [0x00000] 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.Binary.DoResolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags
flags) [0x00000] 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.Return.DoResolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.ContextualReturn.DoResolve (Mono.CSharp.EmitContext ec)
[0x00000] 
  at Mono.CSharp.ExitStatement.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.Block.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.ExplicitBlock.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.EmitContext.ResolveTopBlock (Mono.CSharp.EmitContext
anonymous_method_host, Mono.CSharp.ToplevelBlock block, Mono.CSharp.Parameters
ip, IMethodData md, System.Boolean& unreachable) [0x00000] 
  --- End of inner exception stack trace ---
  at Mono.CSharp.AnonymousMethodExpression.Compatible (Mono.CSharp.EmitContext
ec, System.Type type) [0x00000] 
  at Mono.CSharp.AnonymousMethodExpression.ImplicitStandardConversionExists
(Mono.CSharp.EmitContext ec, System.Type delegate_type) [0x00000] 
  at Mono.CSharp.Convert.ImplicitConversionExists (Mono.CSharp.EmitContext ec,
Mono.CSharp.Expression expr, System.Type target_type) [0x00000] 
  at Mono.CSharp.MethodGroupExpr.IsArgumentCompatible (Mono.CSharp.EmitContext
ec, Modifier arg_mod, Mono.CSharp.Argument argument, Modifier param_mod,
System.Type parameter) [0x00000] 
  at Mono.CSharp.MethodGroupExpr.IsApplicable (Mono.CSharp.EmitContext ec,
System.Collections.ArrayList arguments, Int32 arg_count,
System.Reflection.MethodBase& method, System.Boolean& params_expanded_form)
[0x00000] 
  at Mono.CSharp.MethodGroupExpr.OverloadResolve (Mono.CSharp.EmitContext ec,
System.Collections.ArrayList& Arguments, Boolean may_fail, Location loc)
[0x00000] 
  at Mono.CSharp.ExtensionMethodGroupExpr.ResolveOverloadExtensions
(Mono.CSharp.EmitContext ec, System.Collections.ArrayList arguments,
Mono.CSharp.NamespaceEntry ns, Location loc) [0x00000] 
  at Mono.CSharp.ExtensionMethodGroupExpr.OverloadResolve
(Mono.CSharp.EmitContext ec, System.Collections.ArrayList& arguments, Boolean
may_fail, Location loc) [0x00000] 
  at Mono.CSharp.Invocation.DoResolveOverload (Mono.CSharp.EmitContext ec)
[0x00000] 
  at Mono.CSharp.Invocation.DoResolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags
flags) [0x00000] 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.Return.DoResolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.ContextualReturn.DoResolve (Mono.CSharp.EmitContext ec)
[0x00000] 
  at Mono.CSharp.ExitStatement.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.Block.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.ExplicitBlock.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.EmitContext.ResolveTopBlock (Mono.CSharp.EmitContext
anonymous_method_host, Mono.CSharp.ToplevelBlock block, Mono.CSharp.Parameters
ip, IMethodData md, System.Boolean& unreachable) [0x00000] 


Expected Results:  
on .Net result is "aaa" printed in console

-- 
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.