NullReferenceException в сборке выпуска VS2015 C ++ / CLI

Я получаю «System.NullReferenceException: ссылка на объект не соответствует экземпляру объекта». в моей сборке релиза. Я создал образец приложения, которое имитирует то, что есть в моем производственном коде.

void Abc::LogService::Log(String^ message)
{
    try
    {    
        int ret = DoProcessing(message);
        Exception^ ex;
        if (ret == 0)
        {
            ex = gcnew ArgumentException("Processing done.");
        }
        else
        {
            ex = gcnew ArgumentNullException("message", "Null args");
        }
        throw ex;
    }
    finally
    {
        //do someother thing.
    }
}

В приведенном выше коде он сообщает, что строка исключения: at Abc.LogService.Log(String message) in logservice.cpp:line 19, которая соответствует заявлению throw ex; в коде.

MSIL в сборке выпуска для этой функции выглядит так:

.method public hidebysig instance void  Log(string message) cil managed
{
  // Code size       46 (0x2e)
  .maxstack  4
  .locals ([0] class [mscorlib]System.Exception V_0,
           [1] class [mscorlib]System.Exception ex)
  .try
  {
    IL_0000:  ldarg.0
    IL_0001:  ldarg.1
    IL_0002:  call       instance int32 Abc.LogService::DoProcessing(string)
    IL_0007:  ldnull
    IL_0008:  stloc.1
    IL_0009:  brtrue.s   IL_0018
    IL_000b:  ldstr      "Processing done."
    IL_0010:  newobj     instance void [mscorlib]System.ArgumentException::.ctor(string)
    IL_0015:  stloc.0
    IL_0016:  br.s       IL_0028
    IL_0018:  ldstr      "message"
    IL_001d:  ldstr      "Null args"
    IL_0022:  newobj     instance void [mscorlib]System.ArgumentNullException::.ctor(string,
                                                                                     string)
    IL_0027:  stloc.0
    IL_0028:  ldloc.1
    IL_0029:  throw
    IL_002a:  leave.s    IL_002d
  }  // end .try
  finally
  {
    IL_002c:  endfinally
  }  // end handler
  IL_002d:  ret
} // end of method LogService::Log

Из кода MSIL видно, что в операторе IL_0028 он загружает нулевое значение и вызывает бросок в последующем операторе. Странно то, что это происходит, только если у меня есть блок try-finally. Отладочная сборка приведенного выше кода работает нормально.

Звучит ли это как ошибка в наборе инструментов VS2015 v140?


c++-cli cil visual-studio-2015
person maheshsarma    schedule 04.11.2015    source источник

Ответы (1)


arrow_upward
3
arrow_downward

Да, это ошибка оптимизатора. Довольно необычный, первый я видел для C ++ / CLI, языка, где джиттер должен делать тяжелую работу. Похоже, что он отключился, объявив переменную ex внутри блока try, заставив ее подавиться гарантией инициализации. Похоже на ошибку анализа потока.

Если не считать компиляции с / Od, можно обойтись без помощи, чтобы переместить переменную из блока try.

void Log(String^ message) {
    Exception^ ex;
    try {
       // etc...
}

Также создается гораздо лучший MSIL, полностью устраняя переменную:

.method public hidebysig instance void  Log(string message) cil managed
{
  // Code size       41 (0x29)
  .maxstack  4
  .try
  {
    IL_0000:  ldarg.0
    IL_0001:  ldarg.1
    IL_0002:  call       instance int32 Test::DoProcessing(string)
    IL_0007:  brtrue.s   IL_0015
    IL_0009:  ldstr      "Processing done."
    IL_000e:  newobj     instance void [mscorlib]System.ArgumentException::.ctor(string)
    IL_0013:  br.s       IL_0024
    IL_0015:  ldstr      "message"
    IL_001a:  ldstr      "Null args"
    IL_001f:  newobj     instance void [mscorlib]System.ArgumentNullException::.ctor(string,
                                                                                     string)
    IL_0024:  throw
    IL_0025:  leave.s    IL_0028
  }  // end .try
  finally
  {
    IL_0027:  endfinally
  }  // end handler
  IL_0028:  ret
} // end of method Test::Log

Ошибки оптимизатора - отстой, вы можете сообщить об этом на connect.microsoft.com

person Hans Passant    schedule 04.11.2015