OberonCore • - Баг компилятора - передача в VAR-параметр не-lvalue.

Сообщения без ответов | Активные темы

Список форумов » BlackBox Component Builder » Вопросы дальнейшего развития BlackBox

Часовой пояс: UTC + 3 часа

Баг компилятора - передача в VAR-параметр не-lvalue.

Страница 1 из 1

[ Сообщений: 7 ]

Версия для печати

Пред. тема | След. тема

Автор

Сообщение

Илья Ермаков

Заголовок сообщения: Баг компилятора - передача в VAR-параметр не-lvalue.

Добавлено: Пятница, 07 Июль, 2017 05:57

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл

Тест:

Код:

MODULE Test;
   
   TYPE
      Obj = POINTER TO RECORD END;

   PROCEDURE Fun (): ANYPTR;
      VAR obj: Obj;
   BEGIN
      NEW(obj);
   RETURN obj
   END Fun;

   PROCEDURE Proc (VAR p: Obj);
   BEGIN
      p := NIL
   END Proc;

   PROCEDURE Do*;
   BEGIN
      Proc(Fun()(Obj))
   END Do;
   
END Test.

(!)Test.Do

Компилятор пропускает.
При выполнении TRAP: illegal instruction: E850C08DH

А вот так уже компилятор отсекает:

Код:

MODULE Test;
   
   TYPE
      Obj = POINTER TO RECORD END;

   PROCEDURE Fun (): [b]Obj;[/b]
      VAR obj: Obj;
   BEGIN
      NEW(obj);
   RETURN obj
   END Fun;

   PROCEDURE Proc (VAR p: Obj);
   BEGIN
      p := NIL
   END Proc;

   PROCEDURE Do*;
   BEGIN
      Proc(Fun()(Obj))
   END Do;
   
END Test.

(!)Test.Do

Вернуться к началу

Comdiv

Заголовок сообщения: Re: Баг компилятора - передача в VAR-параметр не-lvalue.

Добавлено: Пятница, 07 Июль, 2017 11:31

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1475
Откуда: Киев

Код:

PROCEDURE Fun (): [b]Obj;[/b]

С первого взгляда не понял, чем являются эти нововведния в языке.

Вернуться к началу

Илья Ермаков

Заголовок сообщения: Re: Баг компилятора - передача в VAR-параметр не-lvalue.

Добавлено: Пятница, 07 Июль, 2017 18:48

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл

Да, форум жирности в [code] не понимает.

Вернуться к началу

Oleg N. Cher

Заголовок сообщения: Re: Баг компилятора - передача в VAR-параметр не-lvalue.

Добавлено: Суббота, 08 Июль, 2017 03:57

Зарегистрирован: Вторник, 28 Август, 2007 00:55
Сообщения: 603
Откуда: Украина, Днепропетровская обл.

А интересно, что должен выделить NEW(obj), если obj имеет тип POINTER TO RECORD END ? Это же запись пустая, без данных.

Проверил в Ofront'е, но там нет типа ANYPTR, а с SYSTEM.PTR вместо него не проходит компиляцию. А в CPfront компиляцию проходит, так что там тот же баг. Но CPfront использует часть кода компилятора BlackBox.

Вложения:

Ofront.png [ 60.24 КБ | Просмотров: 9993 ]

Вернуться к началу

Илья Ермаков

Заголовок сообщения: Re: Баг компилятора - передача в VAR-параметр не-lvalue.

Добавлено: Понедельник, 10 Июль, 2017 14:25

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл

Насколько я помню, у тега типа будет size = 0, а уже менеджер памяти при выделении округлит размер блока в какую-то большую сторону.

Вернуться к началу

maliya

Заголовок сообщения: Re: Баг компилятора - передача в VAR-параметр не-lvalue.

Добавлено: Среда, 19 Июль, 2017 03:40

Зарегистрирован: Четверг, 12 Июнь, 2008 17:30
Сообщения: 37

I have posted this issue to the bbCenter,
a fixup is out https://forum.blackboxframework.org/viewtopic.php?f=40&t=645
welcome check and feedback.
luowy

Вернуться к началу

prospero78

Заголовок сообщения: Re: Баг компилятора - передача в VAR-параметр не-lvalue.

Добавлено: Понедельник, 31 Июль, 2017 14:13

Зарегистрирован: Воскресенье, 12 Апрель, 2015 18:12
Сообщения: 1135
Откуда: СССР v2.0 rc 1

Размер покажет ноль. Но фактически объект будет иметь размер, так как:
1. Счётчик ссылок
2. Тип
3. Указатель на родителя.

Вернуться к началу

Страница 1 из 1

[ Сообщений: 7 ]

Список форумов » BlackBox Component Builder » Вопросы дальнейшего развития BlackBox

Часовой пояс: UTC + 3 часа

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 2

Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения