| // Copyright 2019 The Fuchsia Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #ifndef ZIRCON_SYSTEM_ULIB_FS_JOURNAL_FORMAT_ASSERTIONS_H_ |
| #define ZIRCON_SYSTEM_ULIB_FS_JOURNAL_FORMAT_ASSERTIONS_H_ |
| |
| #include <cstddef> |
| |
| #include <fs/journal/format.h> |
| |
| // This file tests the on-disk structures of journal. |
| |
| namespace fs { |
| |
| // clang-format off |
| |
| #define PADDING_LENGTH(type, prev, next) \ |
| (offsetof(type, next) - (offsetof(type, prev) + sizeof(type{}.prev))) |
| |
| // Ensure that the members don't change their offsets within the structure |
| static_assert(offsetof(fs::JournalInfo, magic) == 0x0); |
| static_assert(offsetof(fs::JournalInfo, start_block) == 0x08); |
| static_assert(offsetof(fs::JournalInfo, reserved) == 0x10); |
| static_assert(offsetof(fs::JournalInfo, timestamp) == 0x18); |
| static_assert(offsetof(fs::JournalInfo, checksum) == 0x20); |
| |
| // Ensure that the padding between two members doesn't change |
| static_assert(PADDING_LENGTH(fs::JournalInfo, magic, start_block) == 0); |
| static_assert(PADDING_LENGTH(fs::JournalInfo, start_block, reserved) == 0); |
| static_assert(PADDING_LENGTH(fs::JournalInfo, reserved, timestamp) == 0); |
| static_assert(PADDING_LENGTH(fs::JournalInfo, timestamp, checksum) == 0); |
| |
| // Ensure that the padding at the end of structure doesn't change |
| static_assert(sizeof(fs::JournalInfo) == |
| offsetof(fs::JournalInfo, checksum) + |
| sizeof(fs::JournalInfo{}.checksum) + 4); |
| |
| // Ensure that the members don't change their offsets within the structure. |
| static_assert(offsetof(fs::JournalPrefix, magic) == 0x0); |
| static_assert(offsetof(fs::JournalPrefix, sequence_number) == 0x8); |
| static_assert(offsetof(fs::JournalPrefix, flags) == 0x10); |
| |
| // Ensure that the padding between members doesn't change. |
| static_assert(PADDING_LENGTH(fs::JournalPrefix, magic, sequence_number) == 0); |
| static_assert(PADDING_LENGTH(fs::JournalPrefix, sequence_number, flags) == 0); |
| |
| // Ensure that the members don't change their offsets within the structure. |
| static_assert(offsetof(fs::JournalHeaderBlock, prefix) == 0x0); |
| static_assert(offsetof(fs::JournalHeaderBlock, payload_blocks) == 0x20); |
| static_assert(offsetof(fs::JournalHeaderBlock, target_blocks) == 0x28); |
| static_assert(offsetof(fs::JournalHeaderBlock, target_flags) == 0x1560); |
| |
| // Ensure that the padding between members doesn't change. |
| static_assert(PADDING_LENGTH(fs::JournalHeaderBlock, prefix, payload_blocks) == 0); |
| static_assert(PADDING_LENGTH(fs::JournalHeaderBlock, payload_blocks, target_blocks) == 0); |
| static_assert(PADDING_LENGTH(fs::JournalHeaderBlock, target_blocks, target_flags) == 0); |
| |
| // Ensure that the members don't change their offsets within the structure. |
| static_assert(offsetof(fs::JournalCommitBlock, prefix) == 0x0); |
| static_assert(offsetof(fs::JournalCommitBlock, checksum) == 0x20); |
| |
| // Ensure that the padding between members doesn't change. |
| static_assert(PADDING_LENGTH(fs::JournalCommitBlock, prefix, checksum) == 0); |
| |
| // clang-format on |
| |
| } // namespace fs |
| |
| #endif // ZIRCON_SYSTEM_ULIB_FS_JOURNAL_FORMAT_ASSERTIONS_H_ |
