type_cast.c

/*  Copyright (C) 2026 HardenedLinux Community
 *        Nala Ginrut <roy@hardenedlinux.org>
 *  Animula is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU Lesser General Public License as
 *  published by the Free Software Foundation, either version 3 of the
 *  License, or  (at your option) any later version.

 *  Animula is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU Lesser General Public License for more details.

 *  You should have received a copy of the GNU Lesser General Public
 *  License along with this program.
 *  If not, see <http://www.gnu.org/licenses/>.
 */
#include "type_cast.h"
#include "object.h"
#include "os.h"

/* Type cast functions are defined in animula/type_cast.c to avoid duplication.
 * This file only contains bit_order_checking.
 */

void bit_order_checking (void)
{
  STATIC_ASSERT ((((imm_int_t)BIT_ORDER_MASK >> 16) & 0xFFFF)
                 == (imm_int_t)BIT_ORDER_MASK2);
  STATIC_ASSERT (((imm_int_t)BIT_ORDER_MASK | (imm_int_t)1)
                 == (imm_int_t)BIT_ORDER_MASK3);
}