Asan new_delete_type_mismatch из -за чрезмерного выравнивания ⇐ C++

[Anonymous]

Рассмотрим следующий фрагмент кода: < /p>

Код: Выделить всё

int main() {
delete new (std::align_val_t(16)) char;
}

g ++ 14.2.1 Скомпилирует его без предупреждения (под -Wall -pedantic ) и работает без ошибок. Но при составлении с -fsanitize = адрес , Asan сообщает следующее:

Код: Выделить всё

==17707==ERROR: AddressSanitizer: new-delete-type-mismatch on 0x503000000040 in thread T0:
object passed to delete has wrong type:
size of the allocated type:   1 bytes;
size of the deallocated type: 1 bytes.
alignment of the allocated type:   16 bytes;
alignment of the deallocated type: default-aligned.
#0 0x70912beff4f2 in operator delete(void*, unsigned long) /usr/src/debug/gcc/gcc/libsanitizer/asan/asan_new_delete.cpp:164
#1 0x6493bc2dd18d in main (/tmp/a.out+0x118d) (BuildId: e8f06d0aee8e301d7f1522801237096f3006c790)
#2 0x70912b835487  (/usr/lib/libc.so.6+0x27487) (BuildId: 695cfc6aac7d0f77bb7caba0ef01b2e868762b02)
#3 0x70912b83554b in __libc_start_main (/usr/lib/libc.so.6+0x2754b) (BuildId: 695cfc6aac7d0f77bb7caba0ef01b2e868762b02)
#4 0x6493bc2dd094 in _start (/tmp/a.out+0x1094) (BuildId: e8f06d0aee8e301d7f1522801237096f3006c790)

0x503000000040 is located 0 bytes inside of 1-byte region [0x503000000040,0x503000000041)
allocated by thread T0 here:
#0 0x70912befe97a in operator new(unsigned long, std::align_val_t) /usr/src/debug/gcc/gcc/libsanitizer/asan/asan_new_delete.cpp:107
#1 0x6493bc2dd17b in main (/tmp/a.out+0x117b) (BuildId: e8f06d0aee8e301d7f1522801237096f3006c790)
#2 0x70912b835487  (/usr/lib/libc.so.6+0x27487) (BuildId: 695cfc6aac7d0f77bb7caba0ef01b2e868762b02)
#3 0x70912b83554b in __libc_start_main (/usr/lib/libc.so.6+0x2754b) (BuildId: 695cfc6aac7d0f77bb7caba0ef01b2e868762b02)
#4 0x6493bc2dd094 in _start (/tmp/a.out+0x1094) (BuildId: e8f06d0aee8e301d7f1522801237096f3006c790)

SUMMARY: AddressSanitizer: new-delete-type-mismatch /usr/src/debug/gcc/gcc/libsanitizer/asan/asan_new_delete.cpp:164 in operator delete(void*, unsigned long)
< /code>

это ложный положительный с помощью Asan? Или на самом деле необходимо соединить «выровненные новые» вызовы с вызовами «Выровненные удаления»? Является ли это неопределенным поведением, если не в паре? Но тогда мой вопрос становится наилучшей практикой для освобождения чрезмерной выровненной памяти (скажем, 32-байтовой выровненной массивы парных разрядов для целей SIMD)? Лучше всего позвонить оператор DEDETE 

явно?

Подробнее здесь: https://stackoverflow.com/questions/794 ... -alignment