TL::Type get_array_of_mask(TL::Type t) { ERROR_CONDITION(!t.is_mask(), "Invalid type", 0); int n = (t.get_mask_num_elements() / 8) + !!(t.get_mask_num_elements() % 8); return TL::Type::get_unsigned_char_type().get_array_to( const_value_to_nodecl( const_value_get_signed_int(n) ), TL::Scope::get_global_scope()); }