[Spice-devel] [PATCH spice-server] dcc-send: Check some constants at compile time

[Uri Lublin]

On 6/21/19 12:45 PM, Frediano Ziglio wrote:
> Signed-off-by: Frediano Ziglio <fziglio at redhat.com>

Ack.

Uri.

> ---
>   server/dcc-send.c | 2 +-
>   1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/server/dcc-send.c b/server/dcc-send.c
> index ea2128e27..b14619a2b 100644
> --- a/server/dcc-send.c
> +++ b/server/dcc-send.c
> @@ -1834,7 +1834,7 @@ static void display_channel_marshall_migrate_data(RedChannelClient *rcc,
>       spice_marshaller_add_uint32(base_marshaller, SPICE_MIGRATE_DATA_DISPLAY_VERSION);
>   
>       spice_assert(dcc->priv->pixmap_cache);
> -    spice_assert(MIGRATE_DATA_DISPLAY_MAX_CACHE_CLIENTS == 4 &&
> +    SPICE_VERIFY(MIGRATE_DATA_DISPLAY_MAX_CACHE_CLIENTS == 4 &&
>                    MIGRATE_DATA_DISPLAY_MAX_CACHE_CLIENTS == MAX_CACHE_CLIENTS);
>   
>       display_data.message_serial = red_channel_client_get_message_serial(rcc);
>