bdd_io_id is now always an unsigned short

This commit is contained in:
aiden 2022-07-16 17:37:39 +01:00
parent dac2e4392a
commit d327629ce1
No known key found for this signature in database
GPG Key ID: 0D87FF3415416DB1

@ -1,6 +1,9 @@
#ifndef bdd__bidirectiond_n_io__h
#define bdd__bidirectiond_n_io__h
typedef unsigned short int bdd_io_id;
#ifndef BIDIRECTIOND_N_IO
#define BIDIRECTIOND_N_IO 2
#endif
#ifndef bdd_io_id
#define bdd_io_id typeof(BIDIRECTIOND_N_IO)
#endif
#include <assert.h>
static_assert(BIDIRECTIOND_N_IO < USHRT_MAX, "BIDIRECTIOND_N_IO is greater than or equal to USHRT_MAX");
#endif