Слышен звон адресов из malloc-а

[beldmit]

Попробовал собрать наш продукт clang-ом под 32-битный arm. Получил несудьбу.

clang предлагает довольно агрессивную реализацию memset/memcpy и родственников, которая требует выравнивания памяти по 16 байтам минимум, иначе прилетает SIGBUS.
Доверчивый clang поверил, что структура выравнивается по 16 байтам. После того, как я перестал его обманывать, он подставил правильную версию memset.

Память, которую он должен зачищать, прилетает извне. При этом полученный блок оказывается выровнен по 8 байтам. То есть в половине случаев это окажется по 16 и всё сработает, а в половине - по 8, и получим SIGBUS.

Гранулировать выравнивание адресов из malloc-а вообще говоря нельзя. Точнее, есть несколько функций, в работоспособности которых я сомневаюсь, и тип max_align_t, который определяется как

// Define 'max_align_t' to match the GCC definition.
typedef struct {
  long long __clang_max_align_nonce1
      __attribute__((__aligned__(__alignof__(long long))));
  long double __clang_max_align_nonce2
      __attribute__((__aligned__(__alignof__(long double))));
} max_align_t;

а в GCC это __BIGGEST_ALIGNMENT__

То «извне», из которого прилетает это самое __BIGGEST_ALIGNMENT__, я могу и пересобрать. Но вообще печально я гляжу.

Comments

[filin]

Я правильно понимаю идею, что его собственный malloc выравнивает на 16 байтов, и проблема в том, что никто не обещал, что библиотека, которая совершила выделение, собрана им же?

А нету у clang ручки "использовать работоспособную реализацию memset вместо оптимизированной"?

[beldmit]

А вот не факт, что его собственный malloc выравнивает на 16, а не на 8, так что похоже, что это баг в компиляторе.
Ручку не нашёл.

[vitus_wagner]

Вот этот патч clang_arm.patch заставляет задуматься о том какая возможна форма у ручки.

[beldmit]

См. апдейт. Нашёл ручку от грабель, прилетевших по лбу.

[vitus_wagner]

Каким именно clang-ом?
clang-и они разные бывают.

И еще - а если между memcpy и скобочкой, заключающей список параметров, пробел поставить?

[beldmit]

Не. Нашёл баг у себя. См. апдейт.

[vitus_wagner]

И еще интересная ссылочка

[beldmit]

Да. Я полагал, что у clang-а там будет ручка типа MEMSET_ALIGN=

Но не нашёл. А к атрибуту __aligned__ он на ARM относится очень серьёзно. Так что косяк по любому был у меня.