Замена Ldnull на Ldc_I4_0

[SunSerega]

ldnull лучше чем ldc0 когда речь идёт об указателях и IntPtr, но mono об этом не знает.

Данный пулл исправляет проблему из этой темы на форуме:

https://forum.mmcs.sfedu.ru/t/kak-rabotat-so-svyazannymi-spiskami-zapisyami-pod-linux/4225/13

Обходя эту issue mono:

mono/mono#20709

Путём замены всех OpCodes.Ldnull на OpCodes.Ldc_I4_0 в компиляторе.

[ibond84]

C# генерит ldnull. Почему вы решили, что ldc_0 и ldnull эквивалентны.

[ibond84]

Под линукс надо генерить ldc_0. А под .NET ничего нельзя ломать!

[ibond84]

Посмотрел детальнее. null для указателей генерится с ldc.i4.0

[ibond84]

null для ссылочных типов ldnull

[ibond84]

Ну то есть, как обычно, в IL все опять сложно и навороченно и нужны типизорованные null в семантике. А мона слишком строга к IL-коду.

[ibond84]

Хотя нет. В type хранится конкретный тип nil

public override void visit(INullConstantNode value)
        {
            il.Emit(OpCodes.Ldnull);
        }

[ibond84]

Просто добавьте проверку на указатель и все. А все остальные ldnull не надо трогать

[SunSerega]

	//Интерфейс, представляющий индексируемый с 0 массив.
	public interface IRefTypeNode : ITypeNode
	{
		ITypeNode pointed_type
		{
			get;
		}
	}

Кхммм... Это указатель что ли? Потому что "ref" это обычно ссылка, а комментарий вообще про массивы говорит...