diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2022-05-24 06:20:28 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2022-05-24 06:20:28 -0700 |
commit | 2262860404bad7755c6a8adb10f167439037f3fa (patch) | |
tree | d2c46acda2a935d4f835084b37bceec0be6cb3e0 /libtags.txr | |
parent | 6357ea31bd2755d29a1643b71e15da5b8facc779 (diff) | |
download | txr-2262860404bad7755c6a8adb10f167439037f3fa.tar.gz txr-2262860404bad7755c6a8adb10f167439037f3fa.tar.bz2 txr-2262860404bad7755c6a8adb10f167439037f3fa.zip |
ffi: couple of tests; assertion.
* ffi.c (make_ffi_type_struct): Add check for impossible condition.
The bits_alloc variable could only exceed bits_type (and thus
cause the room variable to have a nonsensical, large value)
if the bitfield allocation tried to continue allocating bits into
an aligned unit, whose alignment exceeds the size of the underlying
type. But in that case, tft->aligned would have to be true, and
so the offset would have been aligned prior to this code, rendering
bits_alloc zero.
* tests/017/bitfields.tl: New tests.
Diffstat (limited to 'libtags.txr')
0 files changed, 0 insertions, 0 deletions