From 712213af24b20a09c9bcfb989678ce7db0a428cb Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Mon, 10 Oct 2016 16:51:10 +0200 Subject: [PATCH] hw_x86_64_muen: Assert subject_info_type size --- repos/base-hw/src/lib/muen/sinfo.cc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/repos/base-hw/src/lib/muen/sinfo.cc b/repos/base-hw/src/lib/muen/sinfo.cc index 9f78c4cc93..95ad00301b 100644 --- a/repos/base-hw/src/lib/muen/sinfo.cc +++ b/repos/base-hw/src/lib/muen/sinfo.cc @@ -19,6 +19,9 @@ #include "musinfo.h" +static_assert(sizeof(subject_info_type) <= Sinfo::SIZE, + "Size of subject info type larger than Sinfo::SIZE."); + /* Log channel information */ static bool log_channel( const struct Genode::Sinfo::Channel_info * const channel,