Телеграмм чат группы adalang страница 4076

Пытаюсь использовать API Zephyr генерируя биндинги к СИ через GCC. Однако, некоторые куски кода генерируются так, что компилятор Ады их сам потом собрать не может. Вот например:

struct _thread_base {
  union {
    struct{
      char prio;
      char sched_locked;
    };
    short preempt;
  };
};

Это генерируется в такую конструкцию:

   type anon812_union813 (discr : unsigned := 0) is record
      case discr is
            anon1936 : aliased anon812_struct814;  -- union_unnamed_fields.c:6
         when others =>
            preempt : aliased short;  -- union_unnamed_fields.c:7
      end case;
   end record

В доках написано что биндинги работают в 95 случаях. Если я наткнулся на эти 5%, то что теперь делать? Патчить gcc?

источник

23:19пожаловаться #9

МР

Максим Резник... in Ada

допилить сгененённый код напильником

источник

23:20пожаловаться #10

Ilya Stolyarov in Ada

Такой путь выглядит стрёмно. Пугает, что ядро конфигурируется через kconfig и сгенерировав биндинги на одной конфигурации — для другой они уже работать не будут.

источник

23:23пожаловаться #11

МР

Максим Резник... in Ada

написать багрепорт в адакору и надеятся

источник

23:25пожаловаться #12

МР

Максим Резник... in Ada

или написать затычку на Си и вызывать ее из ады

источник

23:27пожаловаться #13

Ilya Stolyarov in Ada

в приведённом примере это какая-то сишная структура которая используется где-то внутри ядра. снаружи доступа к ней нет.
выглядит будто мой эксперимент зашёл в тупик

источник

23:29пожаловаться #14

V in Ada

a K

Соцопрос: как вы относитесь к трекболам? Видели, использовали в работе?

Хорошо отношусь. Использую дома и на работе.

источник

23:32пожаловаться #15

Ilya Stolyarov in Ada

Максим Резник

написать багрепорт в адакору и надеятся

ясно, значит всётаки бага. надеялся может какие флаги можно подёргать