admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

MetaAddress: improve verify

Browse Source
This commit is contained in:
Alessandro Di Federico
2025-10-29 09:51:47 +01:00
parent e81dbfd898
commit 97e75d0019
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
include/revng/Support/MetaAddress.h
+3 -5
View File
@@ -930,12 +930,10 @@ public:
private:
constexpr bool verify() const debug_function {
// Invalid addresses are all the same
if (type() == MetaAddressType::Invalid) {
return *this == invalid();
}
if (static_cast<uint16_t>(Type) > MetaAddressType::Code_systemz)
if (type() == MetaAddressType::Invalid
or type() >= MetaAddressType::Count) {
return false;
}
// Check alignment
if (Address % alignment() != 0)