common/lib/libc/gen/radixtree.c

144

__CTASSERT((64 % RADIX_TREE_BITS_PER_HEIGHT) == 0);

common/lib/libc/gen/radixtree.c

146

__CTASSERT(((1 << RADIX_TREE_TAG_ID_MAX) & (sizeof(int) - 1)) == 0);

common/lib/libc/string/ffsl.c

44

__CTASSERT(CHAR_BIT*sizeof(x) == 64);

common/lib/libc/string/ffsl.c

47

__CTASSERT(CHAR_BIT*sizeof(x) == 32);

common/lib/libc/string/ffsll.c

43

__CTASSERT(CHAR_BIT*sizeof(x) == 64);

games/worms/worms.c

180

__CTASSERT(sizeof(flavor) == sizeof(eyeball));

lib/libc/arch/arm/hardfloat/fpgetround.c

59

__CTASSERT(__SHIFTOUT(VFP_FPSCR_RN, VFP_FPSCR_RMODE) == FP_RN);

lib/libc/arch/arm/hardfloat/fpgetround.c

60

__CTASSERT(__SHIFTOUT(VFP_FPSCR_RP, VFP_FPSCR_RMODE) == FP_RP);

lib/libc/arch/arm/hardfloat/fpgetround.c

61

__CTASSERT(__SHIFTOUT(VFP_FPSCR_RM, VFP_FPSCR_RMODE) == FP_RM);

lib/libc/arch/arm/hardfloat/fpgetround.c

62

__CTASSERT(__SHIFTOUT(VFP_FPSCR_RZ, VFP_FPSCR_RMODE) == FP_RZ);

lib/libc/arch/arm/hardfloat/fpsetround.c

59

__CTASSERT(__SHIFTOUT(VFP_FPSCR_RN, VFP_FPSCR_RMODE) == FP_RN);

lib/libc/arch/arm/hardfloat/fpsetround.c

60

__CTASSERT(__SHIFTOUT(VFP_FPSCR_RP, VFP_FPSCR_RMODE) == FP_RP);

lib/libc/arch/arm/hardfloat/fpsetround.c

61

__CTASSERT(__SHIFTOUT(VFP_FPSCR_RM, VFP_FPSCR_RMODE) == FP_RM);

lib/libc/arch/arm/hardfloat/fpsetround.c

62

__CTASSERT(__SHIFTOUT(VFP_FPSCR_RZ, VFP_FPSCR_RMODE) == FP_RZ);

lib/libc/arch/sparc/gen/longjmp.c

52

__CTASSERT(_SIZEOF_SC + _JB_G4 == offsetof(struct __jmp_buf,regs.g4));

lib/libc/arch/sparc/gen/longjmp.c

53

__CTASSERT(_SIZEOF_SC + _JB_G7 == offsetof(struct __jmp_buf,regs.g7));

lib/libc/arch/sparc/gen/longjmp.c

54

__CTASSERT(sizeof(jmp_buf) >= sizeof(struct __jmp_buf));

lib/libc/arch/sparc64/gen/longjmp.c

58

__CTASSERT(0x68 == offsetof(__jmp_buf_regs_t,save_mask) +

lib/libc/arch/sparc64/gen/longjmp.c

60

__CTASSERT(sizeof(sigjmp_buf) >= sizeof(__jmp_buf_regs_t) +

lib/libc/citrus/citrus_ctype_template.h

511

__CTASSERT(alignof(_ENCODING_STATE) <= alignof(int) ||

lib/libc/citrus/modules/citrus_hz.c

138

__CTASSERT(__arraycount(((_HZState *)0)->ch) <= CHAR_MAX);

lib/libc/citrus/modules/citrus_utf7.c

73

__CTASSERT(__arraycount(((_UTF7State *)0)->ch) <= CHAR_MAX);

lib/libc/citrus/modules/citrus_viqr.c

241

__CTASSERT(__arraycount(((_VIQRState *)0)->ch) <= CHAR_MAX);

lib/libc/gen/arc4random.c

296

__CTASSERT(sizeof(struct crypto_prng) == crypto_prng_SEEDBYTES);

lib/libc/gen/arc4random.c

312

__CTASSERT(sizeof prng->state + crypto_prng_MAXOUTPUTBYTES

lib/libc/gen/arc4random.c

392

__CTASSERT(CHAR_BIT * sizeof n <= (ilog2(crypto_core_OUTPUTBYTES) +

lib/libc/gen/arc4random.c

537

__CTASSERT(sizeof buf == SHA256_DIGEST_LENGTH);

lib/libc/gen/ctype_guard.h

116

__CTASSERT(sizeof((guard)[0]) == (elemsize)); \

lib/libc/gen/ctype_guard.h

117

__CTASSERT(sizeof(guard) == _CTYPE_GUARD_SIZE + (nelem)*(elemsize)); \

lib/libc/gen/devname.c

64

__CTASSERT(sizeof(dev_t) == 8);

lib/libc/gen/getentropy.c

48

__CTASSERT(GETENTROPY_MAX == 256);

lib/libc/gen/vis.c

154

#define _CTASSERT(x, y) __CTASSERT(x, y)

lib/libc/locale/c16rtomb.c

88

__CTASSERT(offsetof(struct c16rtombstate, mbs) <= sizeof(mbstate_t));

lib/libc/locale/c16rtomb.c

89

__CTASSERT(sizeof(struct c32rtombstate) <= sizeof(mbstate_t) -

lib/libc/locale/c16rtomb.c

91

__CTASSERT(alignof(struct c16rtombstate) <= alignof(mbstate_t));

lib/libc/locale/c8rtomb.c

195

__CTASSERT(UTF8_ACCEPT == 0); /* initial conversion state */

lib/libc/locale/c8rtomb.c

78

__CTASSERT(offsetof(struct c8rtombstate, mbs) <= sizeof(mbstate_t));

lib/libc/locale/c8rtomb.c

79

__CTASSERT(sizeof(struct c32rtombstate) <= sizeof(mbstate_t) -

lib/libc/locale/c8rtomb.c

81

__CTASSERT(alignof(struct c8rtombstate) <= alignof(mbstate_t));

lib/libc/locale/mbrtoc16.c

94

__CTASSERT(offsetof(struct mbrtoc16state, mbs) <= sizeof(mbstate_t));

lib/libc/locale/mbrtoc16.c

95

__CTASSERT(sizeof(struct mbrtoc32state) <= sizeof(mbstate_t) -

lib/libc/locale/mbrtoc16.c

97

__CTASSERT(alignof(struct mbrtoc16state) <= alignof(mbstate_t));

lib/libc/locale/mbrtoc32.c

85

__CTASSERT(sizeof(struct mbrtoc32state) <= sizeof(mbstate_t));

lib/libc/locale/mbrtoc32.c

86

__CTASSERT(alignof(struct mbrtoc32state) <= alignof(mbstate_t));

lib/libc/locale/mbrtoc8.c

94

__CTASSERT(offsetof(struct mbrtoc8state, mbs) <= sizeof(mbstate_t));

lib/libc/locale/mbrtoc8.c

95

__CTASSERT(sizeof(struct mbrtoc32state) <= sizeof(mbstate_t) -

lib/libc/locale/mbrtoc8.c

97

__CTASSERT(alignof(struct mbrtoc8state) <= alignof(mbstate_t));

lib/libc/locale/multibyte.h

46

__CTASSERT(alignof(struct _RuneStatePriv) >= alignof(void *));

lib/libc/locale/multibyte.h

47

__CTASSERT(sizeof(_RuneStatePriv) % alignof(void *) == 0);

lib/libc/locale/multibyte.h

48

__CTASSERT(alignof(struct _RuneStatePriv) >= alignof(int));

lib/libc/locale/multibyte.h

49

__CTASSERT(sizeof(_RuneStatePriv) % alignof(int) == 0);

lib/libc/posix1e/acl_init.c

50

__CTASSERT(1 << _ACL_T_ALIGNMENT_BITS > sizeof(struct acl_t_struct));

libexec/lfs_cleanerd/lfs_cleanerd.c

226

__CTASSERT(sizeof(struct dlfs) == sizeof(struct dlfs64));

sbin/efi/devpath1.c

111

__CTASSERT(sizeof(*p) == 6);

sbin/efi/devpath1.c

134

__CTASSERT(sizeof(*p) == 5);

sbin/efi/devpath1.c

156

__CTASSERT(sizeof(*p) == 24);

sbin/efi/devpath1.c

188

__CTASSERT(sizeof(*p) == 24);

sbin/efi/devpath1.c

220

__CTASSERT(sizeof(*p) == 20);

sbin/efi/devpath1.c

253

__CTASSERT(sizeof(*p) == 8);

sbin/efi/devpath1.c

291

__CTASSERT(sizeof(*p) == 13);

sbin/efi/devpath2.c

116

__CTASSERT(sizeof(*p) == 12);

sbin/efi/devpath2.c

151

__CTASSERT(sizeof(*p) == 16);

sbin/efi/devpath2.c

216

__CTASSERT(sizeof(*p) == 4);

sbin/efi/devpath2.c

254

__CTASSERT(sizeof(*p) == 8);

sbin/efi/devpath3.c

1018

__CTASSERT(sizeof(*p) == 10);

sbin/efi/devpath3.c

1100

__CTASSERT(sizeof(*p) == 18);

sbin/efi/devpath3.c

1154

__CTASSERT(sizeof(*p) == 6);

sbin/efi/devpath3.c

1176

__CTASSERT(sizeof(*p) == 24);

sbin/efi/devpath3.c

1205

__CTASSERT(sizeof(*p) == 24);

sbin/efi/devpath3.c

1265

__CTASSERT(sizeof(*p) == 16);

sbin/efi/devpath3.c

1290

__CTASSERT(sizeof(*p) == 4);

sbin/efi/devpath3.c

1321

__CTASSERT(sizeof(*p) == 6);

sbin/efi/devpath3.c

1342

__CTASSERT(sizeof(*p) == 5);

sbin/efi/devpath3.c

1362

__CTASSERT(sizeof(*p) == 10);

sbin/efi/devpath3.c

1386

__CTASSERT(sizeof(*p) == 36);

sbin/efi/devpath3.c

1410

__CTASSERT(sizeof(*p) == 5);

sbin/efi/devpath3.c

1433

__CTASSERT(sizeof(*p) == 11);

sbin/efi/devpath3.c

1461

__CTASSERT(sizeof(*p) == 5);

sbin/efi/devpath3.c

1564

__CTASSERT(sizeof(*p) == 20);

sbin/efi/devpath3.c

1590

__CTASSERT(sizeof(*p) == 6);

sbin/efi/devpath3.c

1625

__CTASSERT(sizeof(*p) == 21);

sbin/efi/devpath3.c

167

__CTASSERT(sizeof(*p) == 8);

sbin/efi/devpath3.c

193

__CTASSERT(sizeof(*p) == 8);

sbin/efi/devpath3.c

218

__CTASSERT(sizeof(*p) == 24);

sbin/efi/devpath3.c

244

__CTASSERT(sizeof(*p) == 16);

sbin/efi/devpath3.c

267

__CTASSERT(sizeof(*p) == 6);

sbin/efi/devpath3.c

290

__CTASSERT(sizeof(*p) == 8);

sbin/efi/devpath3.c

323

__CTASSERT(sizeof(*p) == 48);

sbin/efi/devpath3.c

361

__CTASSERT(sizeof(*p) == 20);

sbin/efi/devpath3.c

386

__CTASSERT(sizeof(*p) == 24);

sbin/efi/devpath3.c

448

__CTASSERT(sizeof(*p) == 44);

sbin/efi/devpath3.c

568

__CTASSERT(sizeof(*p) == 20);

sbin/efi/devpath3.c

612

__CTASSERT(sizeof(*p) == 37);

sbin/efi/devpath3.c

706

__CTASSERT(sizeof(*p) == 27);

sbin/efi/devpath3.c

763

__CTASSERT(sizeof(*p) == 60);

sbin/efi/devpath3.c

843

__CTASSERT(sizeof(*p) == 19);

sbin/efi/devpath3.c

908

__CTASSERT(sizeof(*p) == 11);

sbin/efi/devpath3.c

956

__CTASSERT(sizeof(*p) == 10);

sbin/efi/devpath3.c

996

__CTASSERT(sizeof(*p) == 5);

sbin/efi/devpath4.c

138

__CTASSERT(sizeof(*p) == 24);

sbin/efi/devpath4.c

166

__CTASSERT(sizeof(*p) == 20);

sbin/efi/devpath4.c

189

__CTASSERT(sizeof(*p) == 4);

sbin/efi/devpath4.c

213

__CTASSERT(sizeof(*p) == 20);

sbin/efi/devpath4.c

237

__CTASSERT(sizeof(*p) == 20);

sbin/efi/devpath4.c

260

__CTASSERT(sizeof(*p) == 20);

sbin/efi/devpath4.c

284

__CTASSERT(sizeof(*p) == 24);

sbin/efi/devpath4.c

342

__CTASSERT(sizeof(*p) == 38);

sbin/efi/devpath4.c

78

__CTASSERT(sizeof(*p) == 42);

sbin/efi/devpath5.c

95

__CTASSERT(sizeof(*p) == 8);

sbin/efi/main.c

68

__CTASSERT(BYTE_ORDER == LITTLE_ENDIAN);

sbin/fsck_lfs/lfs.c

509

__CTASSERT(sizeof(struct dlfs) == sizeof(struct dlfs64));

sbin/fsck_lfs/segwrite.c

1042

__CTASSERT(sizeof(struct dlfs) == sizeof(struct dlfs64));

sbin/resize_lfs/resize_lfs.c

130

__CTASSERT(sizeof(struct dlfs) == sizeof(struct dlfs64));

sys/arch/aarch64/aarch64/db_trace.c

68

__CTASSERT(VM_MIN_ADDRESS == 0);

sys/arch/aarch64/aarch64/sig_machdep.c

68

__CTASSERT(sizeof(ucontext_t) % 16 == 0);

sys/arch/aarch64/include/frame.h

52

__CTASSERT((sizeof(struct trapframe) & 15) == 0);

sys/arch/alpha/alpha/fp_complete.c

59

__CTASSERT(ALPHA_AESR_INV == (FP_X_INV << 1));

sys/arch/alpha/alpha/fp_complete.c

60

__CTASSERT(ALPHA_AESR_DZE == (FP_X_DZ << 1));

sys/arch/alpha/alpha/fp_complete.c

61

__CTASSERT(ALPHA_AESR_OVF == (FP_X_OFL << 1));

sys/arch/alpha/alpha/fp_complete.c

62

__CTASSERT(ALPHA_AESR_UNF == (FP_X_UFL << 1));

sys/arch/alpha/alpha/fp_complete.c

63

__CTASSERT(ALPHA_AESR_INE == (FP_X_IMP << 1));

sys/arch/alpha/alpha/fp_complete.c

64

__CTASSERT(ALPHA_AESR_IOV == (FP_X_IOV << 1));

sys/arch/alpha/alpha/fp_complete.c

66

__CTASSERT(IEEE_TRAP_ENABLE_INV == (FP_X_INV << 1));

sys/arch/alpha/alpha/fp_complete.c

67

__CTASSERT(IEEE_TRAP_ENABLE_DZE == (FP_X_DZ << 1));

sys/arch/alpha/alpha/fp_complete.c

68

__CTASSERT(IEEE_TRAP_ENABLE_OVF == (FP_X_OFL << 1));

sys/arch/alpha/alpha/fp_complete.c

69

__CTASSERT(IEEE_TRAP_ENABLE_UNF == (FP_X_UFL << 1));

sys/arch/alpha/alpha/fp_complete.c

70

__CTASSERT(IEEE_TRAP_ENABLE_INE == (FP_X_IMP << 1));

sys/arch/alpha/alpha/fp_complete.c

72

__CTASSERT((uint64_t)FP_X_IMP << (61 - 3) == FPCR_INED);

sys/arch/alpha/alpha/fp_complete.c

73

__CTASSERT((uint64_t)FP_X_UFL << (61 - 3) == FPCR_UNFD);

sys/arch/alpha/alpha/fp_complete.c

74

__CTASSERT((uint64_t)FP_X_OFL << (49 - 0) == FPCR_OVFD);

sys/arch/alpha/alpha/fp_complete.c

75

__CTASSERT((uint64_t)FP_X_DZ << (49 - 0) == FPCR_DZED);

sys/arch/alpha/alpha/fp_complete.c

76

__CTASSERT((uint64_t)FP_X_INV << (49 - 0) == FPCR_INVD);

sys/arch/alpha/alpha/fp_complete.c

78

__CTASSERT(FP_C_ALLBITS == MDLWP_FP_C);

sys/arch/alpha/alpha/interrupt.c

473

__CTASSERT(SOFTINT_TO_IPL(SOFTINT_CLOCK) == ALPHA_PSL_IPL_SOFT_LO);

sys/arch/alpha/alpha/interrupt.c

474

__CTASSERT(SOFTINT_TO_IPL(SOFTINT_BIO) == ALPHA_PSL_IPL_SOFT_LO);

sys/arch/alpha/alpha/interrupt.c

475

__CTASSERT(SOFTINT_TO_IPL(SOFTINT_NET) == ALPHA_PSL_IPL_SOFT_HI);

sys/arch/alpha/alpha/interrupt.c

476

__CTASSERT(SOFTINT_TO_IPL(SOFTINT_SERIAL) == ALPHA_PSL_IPL_SOFT_HI);

sys/arch/alpha/alpha/interrupt.c

478

__CTASSERT(IPL_SOFTCLOCK == ALPHA_PSL_IPL_SOFT_LO);

sys/arch/alpha/alpha/interrupt.c

479

__CTASSERT(IPL_SOFTBIO == ALPHA_PSL_IPL_SOFT_LO);

sys/arch/alpha/alpha/interrupt.c

480

__CTASSERT(IPL_SOFTNET == ALPHA_PSL_IPL_SOFT_HI);

sys/arch/alpha/alpha/interrupt.c

481

__CTASSERT(IPL_SOFTSERIAL == ALPHA_PSL_IPL_SOFT_HI);

sys/arch/alpha/alpha/interrupt.c

483

__CTASSERT(SOFTINT_CLOCK_MASK & 0x3);

sys/arch/alpha/alpha/interrupt.c

484

__CTASSERT(SOFTINT_BIO_MASK & 0x3);

sys/arch/alpha/alpha/interrupt.c

485

__CTASSERT(SOFTINT_NET_MASK & 0xc);

sys/arch/alpha/alpha/interrupt.c

486

__CTASSERT(SOFTINT_SERIAL_MASK & 0xc);

sys/arch/alpha/alpha/interrupt.c

487

__CTASSERT(SOFTINT_COUNT == 4);

sys/arch/alpha/alpha/interrupt.c

489

__CTASSERT((ALPHA_ALL_SOFTINTS & ~0xfUL) == 0);

sys/arch/alpha/alpha/interrupt.c

490

__CTASSERT(SOFTINTS_ELIGIBLE(IPL_NONE) == ALPHA_ALL_SOFTINTS);

sys/arch/alpha/alpha/interrupt.c

491

__CTASSERT(SOFTINTS_ELIGIBLE(IPL_SOFTCLOCK) == ALPHA_IPL2_SOFTINTS);

sys/arch/alpha/alpha/interrupt.c

492

__CTASSERT(SOFTINTS_ELIGIBLE(IPL_SOFTBIO) == ALPHA_IPL2_SOFTINTS);

sys/arch/alpha/alpha/interrupt.c

493

__CTASSERT(SOFTINTS_ELIGIBLE(IPL_SOFTNET) == 0);

sys/arch/alpha/alpha/interrupt.c

494

__CTASSERT(SOFTINTS_ELIGIBLE(IPL_SOFTSERIAL) == 0);

sys/arch/alpha/alpha/machdep.c

140

__CTASSERT(RW_READER == 0);

sys/arch/alpha/alpha/machdep.c

141

__CTASSERT(RW_HAS_WAITERS == 1);

sys/arch/alpha/gbus/gbus_io.c

105

__CTASSERT(_BYTE_ORDER == _LITTLE_ENDIAN);

sys/arch/alpha/include/cpu.h

154

__CTASSERT(offsetof(struct cpu_info, ci_curlwp) <= 0x7ff0);

sys/arch/alpha/include/cpu.h

155

__CTASSERT(offsetof(struct cpu_info, ci_ssir) <= 0x7ff0);

sys/arch/alpha/include/mutex.h

70

__CTASSERT(sizeof(struct kmutex) == sizeof(uintptr_t));

sys/arch/amd64/amd64/machdep.c

628

__CTASSERT(8 + STACK_ALIGNBYTES + sizeof(struct sigframe_siginfo) +

sys/arch/amd64/amd64/netbsd32_machdep.c

1016

__CTASSERT(XSAVE_MAX_BYTES <= ~(__greg32_t)0);

sys/arch/amd64/amd64/netbsd32_machdep.c

250

__CTASSERT(STACK_ALIGNBYTES32 +

sys/arch/amd64/amd64/netbsd32_machdep.c

449

__CTASSERT(sizeof(*regs) == sizeof(struct save87));

sys/arch/amd64/amd64/netbsd32_machdep.c

527

__CTASSERT(sizeof(*regs) == sizeof(struct save87));

sys/arch/amd64/include/netbsd32_machdep.h

144

__CTASSERT(sizeof(struct xmmregs32) == 512);

sys/arch/amd64/include/param.h

86

__CTASSERT(UPAGES == 8);

sys/arch/amd64/include/param.h

88

__CTASSERT(UPAGES == 6);

sys/arch/amd64/include/param.h

90

__CTASSERT(UPAGES == 5);

sys/arch/amd64/include/pcb.h

117

__CTASSERT(offsetof(struct pcb, pcb_savefpusmall) == 128);

sys/arch/amd64/include/pcb.h

118

__CTASSERT(sizeof(struct pcb) - sizeof (union savefpu) == 128);

sys/arch/amiga/dev/clock.c

326

__CTASSERT(DELAY_MAGSHIFT == 10); /* XXX assumptions made here */

sys/arch/arm/arm32/pmap.c

629

__CTASSERT(0x100000000ULL == ((uint64_t)L2_SIZE * L2_BUCKET_SIZE * L1_S_SIZE));

sys/arch/arm/arm32/pmap.c

630

__CTASSERT(L2_BUCKET_XFRAME == ~(L2_BUCKET_XSIZE-1));

sys/arch/arm/cortex/gic.c

124

__CTASSERT(NIPL == 8);

sys/arch/arm/cortex/gic.c

62

__CTASSERT(ARMGIC_SGI_IPIBASE + NIPI <= 8);

sys/arch/arm/cortex/pl310.c

66

__CTASSERT(offsetof(struct arml2cc_softc, sc_ev_inv.ev_count) % 8 == 0);

sys/arch/arm/cortex/pl310.c

67

__CTASSERT(offsetof(struct arml2cc_softc, sc_ev_wb.ev_count) % 8 == 0);

sys/arch/arm/cortex/pl310.c

68

__CTASSERT(offsetof(struct arml2cc_softc, sc_ev_wbinv.ev_count) % 8 == 0);

sys/arch/arm/include/mutex.h

91

__CTASSERT(sizeof(struct kmutex) == sizeof(uintptr_t));

sys/arch/arm/sunxi/sunxi_emac.h

208

__CTASSERT(sizeof(struct sunxi_emac_desc) == 64);

sys/arch/hp300/stand/mkboot/mkboot.c

87

#ifndef __CTASSERT

sys/arch/hp300/stand/mkboot/mkboot.c

92

__CTASSERT(sizeof(b) - 1 == c); \

sys/arch/i386/i386/machdep.c

1732

__CTASSERT(sizeof (struct fxsave) ==

sys/arch/i386/i386/machdep.c

1875

__CTASSERT(sizeof (struct fxsave) ==

sys/arch/i386/i386/machdep.c

1877

__CTASSERT(sizeof (struct save87) ==

sys/arch/i386/i386/machdep.c

706

__CTASSERT(STACK_ALIGNBYTES + sizeof(struct sigframe_siginfo) +

sys/arch/i386/i386/process_machdep.c

138

__CTASSERT(sizeof *regs == sizeof (struct save87));

sys/arch/i386/i386/process_machdep.c

190

__CTASSERT(sizeof *regs == sizeof (struct save87));

sys/arch/i386/i386/process_machdep.c

246

__CTASSERT(sizeof *regs == sizeof (struct fxsave));

sys/arch/i386/i386/process_machdep.c

270

__CTASSERT(sizeof *regs == sizeof (struct fxsave));

sys/arch/i386/include/mcontext.h

113

__CTASSERT(sizeof (__fpregset_t) == 512 + 33 * 4);

sys/arch/i386/include/pcb.h

111

__CTASSERT(offsetof(struct pcb, pcb_savefpu) == 128);

sys/arch/i386/include/pcb.h

112

__CTASSERT(sizeof(struct pcb) - sizeof (union savefpu) == 128);

sys/arch/i386/include/reg.h

103

__CTASSERT(sizeof(struct xmmregs) == 512);

sys/arch/i386/stand/efiboot/conf.c

109

__CTASSERT(__arraycount(file_system) == __arraycount(file_system_disk));

sys/arch/m68k/include/lwp_private.h

43

__CTASSERT(TLS_TP_OFFSET + sizeof(struct tls_tcb) < 0x8000);

sys/arch/m68k/include/lwp_private.h

44

__CTASSERT(TLS_TP_OFFSET % sizeof(struct tls_tcb) == 0);

sys/arch/m68k/m68k/m68k_intr.c

86

__CTASSERT(__arraycount(m68k_intr_evcnt_names) == NAUTOVECTORS);

sys/arch/m68k/m68k/m68k_intr.c

97

__CTASSERT(__arraycount(m68k_intr_evcnt) == NAUTOVECTORS);

sys/arch/m68k/m68k/pmap_68k.c

3915

__CTASSERT(VM_MIN_KERNEL_ADDRESS == 0);

sys/arch/m68k/m68k/pmap_68k.c

4560

__CTASSERT(PAGE_SIZE != 0);

sys/arch/m68k/m68k/pmap_68k.c

629

__CTASSERT(LA40_L1_COUNT == LA40_L2_COUNT);

sys/arch/m68k/m68k/pmap_68k.c

860

__CTASSERT(DT51_PAGE == PTE40_RESIDENT);

sys/arch/m68k/m68k/pmap_68k.c

861

__CTASSERT(PTE51_WP == PTE40_W);

sys/arch/m68k/m68k/pmap_68k.c

862

__CTASSERT(PTE51_U == PTE40_U);

sys/arch/m68k/m68k/pmap_68k.c

863

__CTASSERT(PTE51_M == PTE40_M);

sys/arch/m68k/m68k/pmap_68k.c

864

__CTASSERT(PTE51_CI == PTE40_CM_NC_SER);

sys/arch/m68k/m68k/pmap_motorola.c

382

__CTASSERT(PAGE_SIZE != 0);

sys/arch/m68k/m68k/vm_machdep.c

151

__CTASSERT((MAXPHYS * 2) <= VM_PHYS_SIZE);

sys/arch/m68k/m68k/vm_machdep.c

60

__CTASSERT(USPACE >= PAGE_SIZE);

sys/arch/m68k/m68k/vm_machdep.c

61

__CTASSERT((USPACE & PAGE_MASK) == 0);

sys/arch/mips/atheros/ar_conf.c

122

__CTASSERT(__arraycount(chips) > 0);

sys/arch/mips/cavium/octeon_intr.c

535

__CTASSERT(NIPIS < 16);

sys/arch/mips/include/lwp_private.h

42

__CTASSERT(TLS_TP_OFFSET + sizeof(struct tls_tcb) < 0x8000);

sys/arch/mips/include/lwp_private.h

43

__CTASSERT(TLS_TP_OFFSET % sizeof(struct tls_tcb) == 0);

sys/arch/mips/include/pte.h

333

__CTASSERT(MIPS1_PG_NV == MIPS3_PG_NV);

sys/arch/mips/include/pte.h

334

__CTASSERT(MIPS1_PG_NV == 0);

sys/arch/mips/mips/cpu_subr.c

134

__CTASSERT(sizeof(struct cpu_info) + sizeof(struct pmap_tlb_info)

sys/arch/or1k/include/lwp_private.h

44

__CTASSERT(TLS_TP_OFFSET + sizeof(struct tls_tcb) < 0x8000);

sys/arch/powerpc/booke/booke_machdep.c

154

__CTASSERT(__arraycount(cpu_info) == __arraycount(cpu_softc));

sys/arch/powerpc/booke/e500_intr.c

725

__CTASSERT(__arraycount(ist_names) == IST_MAX);

sys/arch/powerpc/include/lwp_private.h

47

__CTASSERT(TLS_TP_OFFSET + sizeof(struct tls_tcb) < 0x8000);

sys/arch/powerpc/include/pmap.h

44

__CTASSERT(sizeof(struct vm_page_md) == sizeof(uintptr_t)*5);

sys/arch/powerpc/include/vmparam.h

92

__CTASSERT(sizeof(struct pmap_physseg) == sizeof(uintptr_t) * 2);

sys/arch/powerpc/marvell/pic_discovery.c

55

__CTASSERT(sizeof(imask_t) == sizeof(uint64_t));

sys/arch/powerpc/mpc5200/fec.c

411

__CTASSERT(__arraycount(fec_mibtab) == FEC_NMIB);

sys/arch/powerpc/powerpc/softint_machdep.c

47

__CTASSERT(IPL_NONE < IPL_SOFTCLOCK);

sys/arch/powerpc/powerpc/softint_machdep.c

48

__CTASSERT(IPL_SOFTCLOCK < IPL_SOFTBIO);

sys/arch/powerpc/powerpc/softint_machdep.c

49

__CTASSERT(IPL_SOFTBIO < IPL_SOFTNET);

sys/arch/powerpc/powerpc/softint_machdep.c

50

__CTASSERT(IPL_SOFTNET < IPL_SOFTSERIAL);

sys/arch/powerpc/powerpc/softint_machdep.c

51

__CTASSERT(IPL_SOFTSERIAL < IPL_VM);

sys/arch/powerpc/powerpc/softint_machdep.c

52

__CTASSERT(IPL_SOFTSERIAL < sizeof(uint32_t)*2);

sys/arch/riscv/include/frame.h

82

__CTASSERT((sizeof(struct trapframe) & (16 - 1)) == 0);

sys/arch/riscv/include/lwp_private.h

46

__CTASSERT(TLS_TP_OFFSET + sizeof(struct tls_tcb) < 0x800);

sys/arch/riscv/include/pmap.h

302

__CTASSERT(sizeof(struct vm_page_md) == sizeof(uintptr_t)*3);

sys/arch/riscv/riscv/interrupt.c

142

__CTASSERT(NIPIS < 16);

sys/arch/riscv/riscv/syscall.c

57

__CTASSERT(EMULNAME(SYS_MAXSYSARGS) <= 8);

sys/arch/sparc/stand/ofwboot/Locore.c

46

__CTASSERT(sizeof(cell_t)==8);

sys/arch/sparc/stand/ofwboot/Locore.c

47

__CTASSERT(sizeof(paddr_t)==8);

sys/arch/sun3/sun3x/pmap.c

297

__CTASSERT(SUN3X_NPHYS_RAM_SEGS <= VM_PHYSSEG_MAX);

sys/arch/usermode/modules/syscallemu/syscallemu.h

74

__CTASSERT(SYS_syscallemu >= SYS_MAXSYSCALL);

sys/arch/usermode/modules/syscallemu/syscallemu.h

75

__CTASSERT(SYS_syscallemu < SYS_NSYSENT);

sys/arch/virt68k/virt68k/intr.c

127

__CTASSERT(__arraycount(intr_evcnt) == NIRQ);

sys/arch/x68k/x68k/machdep.c

485

__CTASSERT(__arraycount(memlist) + 1 <= VM_PHYSSEG_MAX);

sys/arch/x86/include/cpu.h

338

__CTASSERT(XEN_NIPIS <= X86_NIPI);

sys/arch/x86/include/cpu_extended_state.h

10

#define __CTASSERT_NOLINT(x) __CTASSERT(x)

sys/arch/x86/include/cpu_extended_state.h

143

__CTASSERT(sizeof(struct xsave_header) == 512 + 64);

sys/arch/x86/include/cpu_extended_state.h

153

__CTASSERT(sizeof(struct xsave_ymm) == 256);

sys/arch/x86/include/cpu_extended_state.h

161

__CTASSERT(sizeof(struct xsave_opmask) == 64);

sys/arch/x86/include/cpu_extended_state.h

169

__CTASSERT(sizeof(struct xsave_zmm_hi256) == 512);

sys/arch/x86/include/cpu_extended_state.h

177

__CTASSERT(sizeof(struct xsave_hi16_zmm) == 1024);

sys/arch/x86/include/cpu_extended_state.h

8

#define __CTASSERT_NOLINT(x) __CTASSERT(1)

sys/arch/x86/x86/fpu.c

322

__CTASSERT(PAGE_SIZE >= 64);

sys/arch/x86/x86/vm_machdep.c

396

__CTASSERT(PAGE_SIZE >= 64);

sys/compat/linux/arch/amd64/linux_machdep.h

58

__CTASSERT(sizeof (struct linux__fpstate) == 512);

sys/compat/linux/common/linux_errno.c

144

__CTASSERT(__arraycount(native_to_linux_errno) == ELAST + 1);

sys/compat/sys/ucontext.h

53

__CTASSERT(sizeof(ucontext32_t) == __UCONTEXT32_SIZE);

sys/crypto/adiantum/adiantum.c

83

#define CTASSERT __CTASSERT

sys/crypto/nist_hash_drbg/nist_hash_drbg.c

74

#define CTASSERT __CTASSERT

sys/dev/acpi/acpi_vmgenid.c

208

__CTASSERT(sizeof(ACPI_PHYSICAL_ADDRESS) == sizeof(quad_t));

sys/dev/acpi/apei.c

618

__CTASSERT(sizeof(PE->CapabilityStructure) % 4 == 0);

sys/dev/acpi/apei.c

664

__CTASSERT(sizeof(PE->AERInfo) % 4 == 0);

sys/dev/acpi/apei_cper.h

138

__CTASSERT(sizeof(struct cper_memory_error) == 73);

sys/dev/acpi/apei_cper.h

147

__CTASSERT(sizeof(struct cper_memory_error_ext) == 80);

sys/dev/acpi/apei_cper.h

267

__CTASSERT(sizeof(struct cper_pcie_error) == 208);

sys/dev/acpi/apei_cper.h

63

__CTASSERT(sizeof(struct cper_header) == 128);

sys/dev/dkwedge/dkwedge_tos.c

65

__CTASSERT(sizeof(struct tos_partition) == 12);

sys/dev/dkwedge/dkwedge_tos.c

75

__CTASSERT(sizeof(struct tos_root_sector) == TOS_SECTOR_SIZE);

sys/dev/efi/efi.h

186

__CTASSERT(sizeof(struct efi_systbl) == 120);

sys/dev/efi/efi.h

188

__CTASSERT(sizeof(struct efi_systbl) == 72);

sys/dev/hyperv/hypervreg.h

104

__CTASSERT(sizeof(struct hyperv_hypercall_postmsg_in) == HYPERCALL_POSTMSGIN_SIZE);

sys/dev/hyperv/hypervreg.h

261

__CTASSERT(sizeof(struct vmbus_bufring) == PAGE_SIZE);

sys/dev/hyperv/hypervvar.h

57

#ifdef __CTASSERT

sys/dev/hyperv/hypervvar.h

58

__CTASSERT(sizeof(struct hyperv_reftsc) == PAGE_SIZE);

sys/dev/hyperv/vmbusic.c

52

__CTASSERT(VMBUS_IC_NEGOSZ < VMBUS_IC_BRSIZE);

sys/dev/hyperv/vmbusvar.h

59

__CTASSERT((offsetof(struct vmbus_msg, msg_req) % 8) == 0);

sys/dev/i2c/em3027.c

79

__CTASSERT(sizeof(struct em3027rtc_watch) == EM3027_WATCH_SIZE);

sys/dev/ic/nvmereg.h

24

#define NVME_CTASSERT(x, s) __CTASSERT(x)

sys/dev/ipmi.c

1119

__CTASSERT(sizeof(u) == 256 + 8);

sys/dev/ipmi.c

1120

__CTASSERT(sizeof(u.cmd) == 6);

sys/dev/ipmi.c

1121

__CTASSERT(offsetof(typeof(u.msg), data) == 2);

sys/dev/usb/uatp.c

1822

__CTASSERT(0x5fa0000 == (UATP_MAX_SENSORS * UATP_MAX_SENSORS *

sys/dev/usb/uatp.c

1824

__CTASSERT(0x60000 == (UATP_MAX_SENSORS * UATP_MAX_POSITION));

sys/dev/usb/uatp.c

2469

__CTASSERT(0x12000000 == (2 * UATP_MAX_POSITION * UATP_MAX_POSITION));

sys/dev/usb/uatp.c

2590

__CTASSERT(0x477000 == (3 * UATP_MAX_WEIGHT * UATP_MAX_POSITION));

sys/dev/usb/uatp.c

2619

__CTASSERT(0x12000000 == (2 * UATP_MAX_POSITION * UATP_MAX_POSITION));

sys/dev/usb/uatp.c

2635

__CTASSERT(0x30000 ==

sys/dev/usb/usb.h

217

__CTASSERT(sizeof(usb_descriptor_t) == USB_DESCRIPTOR_SIZE);

sys/dev/vnd.c

1359

__CTASSERT(UINT32_MAX <= UQUAD_MAX/sizeof(uint64_t));

sys/kern/kern_heartbeat.c

432

__CTASSERT(max_period < UINT_MAX/4);

sys/kern/kern_ksyms.c

1465

__CTASSERT(offsetof(struct ksyms_ogsymbol, kg_name) == offsetof(struct ksyms_gsymbol, kg_name));

sys/kern/kern_ksyms.c

1466

__CTASSERT(offsetof(struct ksyms_gvalue, kv_name) == offsetof(struct ksyms_gsymbol, kg_name));

sys/kern/kern_sig.c

117

__CTASSERT(NSIG <= 128);

sys/kern/subr_time_arith.c

245

__CTASSERT(1000000000L <= __type_max(long) - 1000000000L);

sys/kern/subr_time_arith.c

357

__CTASSERT(1000000000L <= __type_max(long) - 1000000000L);

sys/kern/subr_time_arith.c

384

__CTASSERT(TIME_MIN <= -TIME_MAX - 1);

sys/kern/subr_time_arith.c

408

__CTASSERT(TIME_MIN < -1);

sys/kern/subr_time_arith.c

425

__CTASSERT(TIME_MIN <= -TIME_MAX - 1);

sys/kern/sys_futex.c

1067

__CTASSERT(UINT_MAX >=

sys/kern/vfs_acl.c

68

__CTASSERT(ACL_MAX_ENTRIES >= OLDACL_MAX_ENTRIES);

sys/kern/vfs_bio.c

276

__CTASSERT((1 << (NMEMPOOLS + MEMPOOL_INDEX_OFFSET - 1)) == MAXBSIZE);

sys/kern/vfs_lookup.c

74

__CTASSERT(MAXNAMLEN == NAME_MAX);

sys/lib/libkern/entpool.c

87

#define CTASSERT __CTASSERT

sys/lib/libkern/libkern.h

259

#define CTASSERT(x) __CTASSERT(x)

sys/lib/libkern/libkern.h

262

#define CTASSERT_SIGNED(x) __CTASSERT(((typeof(x))-1) < 0)

sys/lib/libkern/libkern.h

265

#define CTASSERT_UNSIGNED(x) __CTASSERT(((typeof(x))-1) >= 0)

sys/net/bpf.h

370

__CTASSERT(BPF_MEMWORDS + 2 <= sizeof(bpf_memword_init_t) * NBBY);

sys/net/bpf.h

378

__CTASSERT(BPF_MAX_MEMWORDS >= BPF_MEMWORDS);

sys/net/bpf.h

379

__CTASSERT(BPF_MAX_MEMWORDS + 2 <= sizeof(bpf_memword_init_t) * NBBY);

sys/net/if_bridge.c

146

__CTASSERT(sizeof(struct ifbifconf) == sizeof(struct ifbaconf));

sys/net/if_bridge.c

147

__CTASSERT(offsetof(struct ifbifconf, ifbic_len) == offsetof(struct ifbaconf, ifbac_len));

sys/net/if_bridge.c

148

__CTASSERT(offsetof(struct ifbifconf, ifbic_buf) == offsetof(struct ifbaconf, ifbac_buf));

sys/net/if_llc.h

95

#ifdef __CTASSERT

sys/net/if_llc.h

96

__CTASSERT(sizeof(struct llc) == 8);

sys/net/if_llc.h

97

__CTASSERT(sizeof(struct frmrinfo) == 5);

sys/net/rtsock_shared.c

245

__CTASSERT(RTAX_DST == 0);

sys/netinet/igmp.h

92

#ifdef __CTASSERT

sys/netinet/igmp.h

93

__CTASSERT(sizeof(struct igmp) == 8);

sys/netinet/in.h

161

#ifdef __CTASSERT

sys/netinet/in.h

162

__CTASSERT(sizeof(struct in_addr) == 4);

sys/netinet/ip.h

251

#ifdef __CTASSERT

sys/netinet/ip.h

252

__CTASSERT(sizeof(struct ip) == 20);

sys/netinet/ip.h

253

__CTASSERT(sizeof(struct ip_timestamp) == 12);

sys/netinet/ip.h

254

__CTASSERT(sizeof(struct ippseudo) == 12);

sys/netinet/ip6.h

128

__CTASSERT(sizeof(struct ip6_hdr) == 40);

sys/netinet/ip6.h

129

__CTASSERT(sizeof(struct ip6_hdr_pseudo) == 40);

sys/netinet/ip_carp.h

79

#ifdef __CTASSERT

sys/netinet/ip_carp.h

80

__CTASSERT(sizeof(struct carp_header) == 36);

sys/netinet/ip_icmp.h

163

#ifdef __CTASSERT

sys/netinet/ip_icmp.h

164

__CTASSERT(sizeof(struct icmp_ra_addr) == 8);

sys/netinet/ip_icmp.h

165

__CTASSERT(sizeof(struct icmp) == 28);

sys/netinet/ip_icmp.h

166

__CTASSERT(sizeof(struct icmp_ext_hdr) == 4);

sys/netinet/ip_icmp.h

167

__CTASSERT(sizeof(struct icmp_ext_obj_hdr) == 4);

sys/netinet/ip_mroute.h

231

#ifdef __CTASSERT

sys/netinet/ip_mroute.h

232

__CTASSERT(sizeof(struct igmpmsg) == 20);

sys/netinet/ip_var.h

179

__CTASSERT(SO_DONTROUTE == 0x0010);

sys/netinet/ip_var.h

180

__CTASSERT(SO_BROADCAST == 0x0020);

sys/netinet/ip_var.h

50

#ifdef __CTASSERT

sys/netinet/ip_var.h

51

__CTASSERT(sizeof(struct ipovly) == 20);

sys/netinet/tcp.h

77

#ifdef __CTASSERT

sys/netinet/tcp.h

78

__CTASSERT(sizeof(struct tcphdr) == 20);

sys/netinet/udp.h

48

#ifdef __CTASSERT

sys/netinet/udp.h

49

__CTASSERT(sizeof(struct udphdr) == 8);

sys/netinet6/icmp6.c

120

__CTASSERT(sizeof(struct icmp6_hdr) == 8);

sys/netinet6/icmp6.c

121

__CTASSERT(sizeof(struct icmp6_nodeinfo) == 16);

sys/netinet6/icmp6.c

122

__CTASSERT(sizeof(struct icmp6_namelookup) == 20);

sys/netinet6/icmp6.c

123

__CTASSERT(sizeof(struct icmp6_router_renum) == 16);

sys/netinet6/icmp6.c

125

__CTASSERT(sizeof(struct nd_router_solicit) == 8);

sys/netinet6/icmp6.c

126

__CTASSERT(sizeof(struct nd_router_advert) == 16);

sys/netinet6/icmp6.c

127

__CTASSERT(sizeof(struct nd_neighbor_solicit) == 24);

sys/netinet6/icmp6.c

128

__CTASSERT(sizeof(struct nd_neighbor_advert) == 24);

sys/netinet6/icmp6.c

129

__CTASSERT(sizeof(struct nd_redirect) == 40);

sys/netinet6/icmp6.c

130

__CTASSERT(sizeof(struct nd_opt_hdr) == 2);

sys/netinet6/icmp6.c

131

__CTASSERT(sizeof(struct nd_opt_route_info) == 8);

sys/netinet6/icmp6.c

132

__CTASSERT(sizeof(struct nd_opt_prefix_info) == 32);

sys/netinet6/icmp6.c

133

__CTASSERT(sizeof(struct nd_opt_rd_hdr) == 8);

sys/netinet6/icmp6.c

134

__CTASSERT(sizeof(struct nd_opt_mtu) == 8);

sys/netinet6/icmp6.c

135

__CTASSERT(sizeof(struct nd_opt_nonce) == 2 + ND_OPT_NONCE_LEN);

sys/netinet6/icmp6.c

136

__CTASSERT(sizeof(struct nd_opt_rdnss) == 8);

sys/netinet6/icmp6.c

137

__CTASSERT(sizeof(struct nd_opt_dnssl) == 8);

sys/netinet6/icmp6.c

139

__CTASSERT(sizeof(struct mld_hdr) == 24);

sys/netinet6/icmp6.c

140

__CTASSERT(sizeof(struct ni_reply_fqdn) == 8);

sys/netinet6/icmp6.c

141

__CTASSERT(sizeof(struct rr_pco_match) == 24);

sys/netinet6/icmp6.c

142

__CTASSERT(sizeof(struct rr_pco_use) == 32);

sys/netinet6/icmp6.c

143

__CTASSERT(sizeof(struct rr_result) == 24);

sys/netinet6/ip6_input.c

160

__CTASSERT(sizeof(struct ip6_hdr) == 40);

sys/netinet6/ip6_input.c

161

__CTASSERT(sizeof(struct ip6_ext) == 2);

sys/netinet6/ip6_input.c

162

__CTASSERT(sizeof(struct ip6_hbh) == 2);

sys/netinet6/ip6_input.c

163

__CTASSERT(sizeof(struct ip6_dest) == 2);

sys/netinet6/ip6_input.c

164

__CTASSERT(sizeof(struct ip6_opt) == 2);

sys/netinet6/ip6_input.c

165

__CTASSERT(sizeof(struct ip6_opt_jumbo) == 6);

sys/netinet6/ip6_input.c

166

__CTASSERT(sizeof(struct ip6_opt_nsap) == 4);

sys/netinet6/ip6_input.c

167

__CTASSERT(sizeof(struct ip6_opt_tunnel) == 3);

sys/netinet6/ip6_input.c

168

__CTASSERT(sizeof(struct ip6_opt_router) == 4);

sys/netinet6/ip6_input.c

169

__CTASSERT(sizeof(struct ip6_rthdr) == 4);

sys/netinet6/ip6_input.c

170

__CTASSERT(sizeof(struct ip6_rthdr0) == 8);

sys/netinet6/ip6_input.c

171

__CTASSERT(sizeof(struct ip6_frag) == 8);

sys/netmpls/mpls.h

72

__CTASSERT(sizeof(struct sockaddr_mpls) == 8);

sys/nfs/nfs_export.c

442

__CTASSERT(sizeof(args->eargs) == sizeof(*mel.mel_exports));

sys/nfs/nfs_subs.c

232

__CTASSERT(__arraycount(nfsrv_v2errmap) == ELAST);

sys/sys/buf.h

111

__CTASSERT(sizeof(struct work) <= sizeof(TAILQ_ENTRY(buf)));

sys/sys/swap.h

47

__CTASSERT(sizeof(struct swapent) == 1184); /* user abi */

sys/sys/ucontext.h

111

__CTASSERT(sizeof(ucontext_t) == __UCONTEXT_SIZE);

sys/ufs/lfs/lfs.h

358

__CTASSERT(sizeof(struct lfs_dirheader32) == 8);

sys/ufs/lfs/lfs.h

366

__CTASSERT(sizeof(struct lfs_dirheader64) == 12);

sys/ufs/lfs/lfs.h

372

__CTASSERT(__alignof(union lfs_dirheader) == __alignof(struct lfs_dirheader64));

sys/ufs/lfs/lfs.h

374

__CTASSERT(__alignof(union lfs_dirheader) == __alignof(struct lfs_dirheader32));

sys/ufs/lfs/lfs.h

389

__CTASSERT(sizeof(struct lfs_dirtemplate32) == 2*(8 + 4));

sys/ufs/lfs/lfs.h

397

__CTASSERT(sizeof(struct lfs_dirtemplate64) == 2*(12 + 4));

sys/ufs/lfs/lfs.h

418

__CTASSERT(sizeof(struct lfs_odirtemplate) == 2*(8 + 4));

sys/ufs/lfs/lfs.h

452

__CTASSERT(sizeof(struct lfs32_dinode) == 128);

sys/ufs/lfs/lfs.h

481

__CTASSERT(sizeof(struct lfs64_dinode) == 256);

sys/ufs/lfs/lfs.h

487

__CTASSERT(__alignof(union lfs_dinode) == __alignof(struct lfs64_dinode));

sys/ufs/lfs/lfs.h

488

__CTASSERT(__alignof(union lfs_dinode) == __alignof(struct lfs32_dinode));

sys/ufs/lfs/lfs.h

545

__CTASSERT(sizeof(struct segusage) == 24);

sys/ufs/lfs/lfs.h

555

__CTASSERT(sizeof(struct segusage_v1) == 16);

sys/ufs/lfs/lfs.h

573

__CTASSERT(sizeof(struct finfo64) == 24);

sys/ufs/lfs/lfs.h

582

__CTASSERT(sizeof(struct finfo32) == 16);

sys/ufs/lfs/lfs.h

588

__CTASSERT(__alignof(union finfo) == __alignof(struct finfo64));

sys/ufs/lfs/lfs.h

590

__CTASSERT(__alignof(union finfo) == __alignof(struct finfo32));

sys/ufs/lfs/lfs.h

604

__CTASSERT(sizeof(struct iinfo64) == 8);

sys/ufs/lfs/lfs.h

609

__CTASSERT(sizeof(struct iinfo32) == 4);

sys/ufs/lfs/lfs.h

615

__CTASSERT(__alignof(union iinfo) == __alignof(struct iinfo64));

sys/ufs/lfs/lfs.h

617

__CTASSERT(__alignof(union iinfo) == __alignof(struct iinfo32));

sys/ufs/lfs/lfs.h

650

__CTASSERT(sizeof(struct ifile64) == 32);

sys/ufs/lfs/lfs.h

660

__CTASSERT(sizeof(struct ifile32) == 20);

sys/ufs/lfs/lfs.h

672

__CTASSERT(sizeof(struct ifile_v1) == 12);

sys/ufs/lfs/lfs.h

684

__CTASSERT(__alignof(union ifile) == __alignof(struct ifile64));

sys/ufs/lfs/lfs.h

686

__CTASSERT(__alignof(union ifile) == __alignof(struct ifile32));

sys/ufs/lfs/lfs.h

687

__CTASSERT(__alignof(union ifile) == __alignof(struct ifile_v1));

sys/ufs/lfs/lfs.h

707

__CTASSERT(sizeof(struct _cleanerinfo32) == 28);

sys/ufs/lfs/lfs.h

719

__CTASSERT(sizeof(struct _cleanerinfo64) == 48);

sys/ufs/lfs/lfs.h

727

__CTASSERT(__alignof(union _cleanerinfo) == __alignof(struct _cleanerinfo32));

sys/ufs/lfs/lfs.h

728

__CTASSERT(__alignof(union _cleanerinfo) == __alignof(struct _cleanerinfo64));

sys/ufs/lfs/lfs.h

761

__CTASSERT(sizeof(struct segsum_v1) == 28);

sys/ufs/lfs/lfs.h

779

__CTASSERT(sizeof(struct segsum32) == 48);

sys/ufs/lfs/lfs.h

797

__CTASSERT(sizeof(struct segsum64) == 56);

sys/ufs/lfs/lfs.h

805

__CTASSERT(__alignof(union segsum) == __alignof(struct segsum64));

sys/ufs/lfs/lfs.h

806

__CTASSERT(__alignof(union segsum) == __alignof(struct segsum32));

sys/ufs/lfs/lfs.h

808

__CTASSERT(__alignof(union segsum) == __alignof(struct segsum_v1));

sys/ufs/lfs/lfs.h

998

__CTASSERT(__alignof(struct dlfs) == __alignof(struct dlfs64));

sys/ufs/lfs/lfs_vfsops.c

927

__CTASSERT(sizeof(struct dlfs) == DEV_BSIZE);

sys/ufs/ufs/ufs_vnops.c

125

__CTASSERT(EXT2FS_MAXNAMLEN == FFS_MAXNAMLEN);

sys/ufs/ufs/ufs_vnops.c

126

__CTASSERT(LFS_MAXNAMLEN == FFS_MAXNAMLEN);

sys/uvm/pmap/pmap_segtab.c

119

#define MULT_CTASSERT(a,b) __CTASSERT((a) < (b) || ((a) % (b) == 0))

sys/uvm/pmap/pmap_segtab.c

121

__CTASSERT(sizeof(pmap_ptpage_t) == NBPG);

sys/uvm/pmap/pmap_segtab.c

155

__CTASSERT(NSEGPG >= PMAP_SEGTABSIZE);

sys/uvm/pmap/pmap_segtab.c

156

__CTASSERT(NSEGPG % PMAP_SEGTABSIZE == 0);

sys/uvm/pmap/pmap_segtab.c

158

__CTASSERT(NBPG >= sizeof(pmap_segtab_t));

sys/uvm/pmap/pmap_segtab.c

273

__CTASSERT((XSEGSHIFT - SEGSHIFT) % (PGSHIFT-3) == 0);

sys/uvm/pmap/pmap_segtab.c

328

__CTASSERT(PMAP_PDETABSIZE == PMAP_SEGTABSIZE);

sys/uvm/uvm_map.c

314

__CTASSERT(offsetof(struct vm_map_entry, rb_node) == 0);

sys/uvm/uvm_page_status.c

48

__CTASSERT(UVM_PAGE_STATUS_UNKNOWN == 0);

sys/uvm/uvm_page_status.c

49

__CTASSERT(UVM_PAGE_STATUS_DIRTY == PG_DIRTY);

sys/uvm/uvm_page_status.c

50

__CTASSERT(UVM_PAGE_STATUS_CLEAN == PG_CLEAN);

tests/fs/lfs/t_resize.c

34

__CTASSERT(BIGSIZE > SMALLSIZE);

tests/kernel/arch/aarch64/execregs.h

79

__CTASSERT(NEXECREGS == __arraycount(regname));

tests/kernel/arch/hppa/execregs.h

150

__CTASSERT(NEXECREGS == __arraycount(regname));

tests/kernel/arch/i386/execregs.h

62

__CTASSERT(NEXECREGS == __arraycount(regname));

tests/kernel/arch/vax/execregs.h

70

__CTASSERT(NEXECREGS == __arraycount(regname));

tests/kernel/arch/x86_64/execregs.h

74

__CTASSERT(NEXECREGS == __arraycount(regname));

tests/lib/libc/gen/h_ctype_abuse.c

115

__CTASSERT(CHAR_MIN == 0 || CHAR_MIN <= EOF);

tests/lib/libc/gen/h_ctype_abuse.c

116

__CTASSERT(EOF <= UCHAR_MAX);

tests/lib/libc/gen/t_fpclassify.c

171

__CTASSERT(sizeof(*f) <= sizeof(u));

tests/lib/libc/gen/t_fpclassify.c

184

__CTASSERT(sizeof(*f) <= sizeof(u));

tests/lib/libc/gen/t_fpclassify.c

201

__CTASSERT(sizeof(*f) <= sizeof(u));

tests/lib/libc/gen/t_getentropy.c

44

__CTASSERT(GETENTROPY_MAX == 256);

tests/lib/libc/membar/t_dekker.c

57

__CTASSERT(sizeof(waiting) == 2*COHERENCY_UNIT);

tests/lib/libc/sys/t_getrandom.c

259

__CTASSERT(~(GRND_RANDOM|GRND_INSECURE|GRND_NONBLOCK));

tests/lib/libc/sys/t_ptrace_signal_wait.h

50

__CTASSERT(sizeof(before) == sizeof(*kbefore));

tests/lib/libc/sys/t_ptrace_signal_wait.h

51

__CTASSERT(sizeof(after) == sizeof(*kafter));

tests/lib/libc/sys/t_ptrace_wait.c

77

__CTASSERT(sizeof(((struct ptrace_state *)0)->pe_report_event) ==

tests/lib/libc/sys/t_ptrace_wait.c

79

__CTASSERT(sizeof(((struct ptrace_state *)0)->pe_other_pid) ==

tests/lib/libc/sys/t_ptrace_wait.c

81

__CTASSERT(sizeof(((struct ptrace_state *)0)->pe_lwp) ==

tests/lib/libc/sys/t_ptrace_wait.c

83

__CTASSERT(sizeof(((struct ptrace_state *)0)->pe_other_pid) ==

tests/lib/libc/sys/t_ptrace_x86_wait.h

2442

__CTASSERT(sizeof(out->st[0]) == 16);

tests/lib/libc/sys/t_ptrace_x86_wait.h

2485

__CTASSERT(sizeof(data->st[0]) == 16);

tests/lib/libc/time/t_strptime.c

506

__CTASSERT(__type_max(time_t) < __type_max(uint64_t));

tests/lib/libm/t_hypot.c

460

__CTASSERT(FLT_MANT_DIG >= 24);

tests/lib/libm/t_hypot.c

471

__CTASSERT(DBL_MANT_DIG >= 53);

tests/lib/libm/t_modf.c

39

__CTASSERT(FLT_RADIX == 2);

tests/sys/x86/t_convert_xmm_s87.c

57

__CTASSERT(sizeof(*ST_INPUTS) == 16);

usr.bin/vndcompress/main.c

118

__CTASSERT(OFF_MAX <= LLONG_MAX);

usr.bin/vndcompress/main.c

71

__CTASSERT(MIN_BLOCKSIZE <= MAX_BLOCKSIZE);

usr.bin/vndcompress/main.c

72

__CTASSERT(MAX_BLOCKSIZE <= LLONG_MAX);

usr.bin/vndcompress/offtab.c

102

__CTASSERT(MUL_OK(off_t, MAX_N_OFFSETS, sizeof(uint64_t)));

usr.bin/vndcompress/offtab.c

107

__CTASSERT(ADD_OK(off_t, OFFTAB_MAX_FDPOS,

usr.bin/vndcompress/offtab.c

223

__CTASSERT(MUL_OK(size_t, MAX_WINDOW_SIZE, sizeof(uint64_t)));

usr.bin/vndcompress/offtab.c

296

__CTASSERT(MUL_OK(off_t, MAX_N_OFFSETS, sizeof(uint64_t)));

usr.bin/vndcompress/offtab.c

300

__CTASSERT(ADD_OK(off_t, OFFTAB_MAX_FDPOS,

usr.bin/vndcompress/offtab.c

373

__CTASSERT(MAX_N_OFFSETS <= UINT32_MAX);

usr.bin/vndcompress/offtab.c

390

__CTASSERT(MUL_OK(off_t, MAX_N_OFFSETS, sizeof(uint64_t)));

usr.bin/vndcompress/offtab.c

396

__CTASSERT(ADD_OK(off_t, OFFTAB_MAX_FDPOS,

usr.bin/vndcompress/offtab.c

402

__CTASSERT(MUL_OK(uint64_t, MAX_N_OFFSETS, sizeof(uint64_t)));

usr.bin/vndcompress/offtab.c

403

__CTASSERT(ADD_OK(uint64_t, OFFTAB_MAX_FDPOS,

usr.bin/vndcompress/offtab.c

442

__CTASSERT(MUL_OK(off_t, MAX_N_OFFSETS, sizeof(uint64_t)));

usr.bin/vndcompress/offtab.c

445

__CTASSERT(ADD_OK(off_t, OFFTAB_MAX_FDPOS,

usr.bin/vndcompress/offtab.c

98

__CTASSERT(MUL_OK(size_t, MAX_WINDOW_SIZE, sizeof(uint64_t)));

usr.bin/vndcompress/vndcompress.c

145

__CTASSERT(MAX_BLOCKSIZE <= SIZE_MAX);

usr.bin/vndcompress/vndcompress.c

151

__CTASSERT(MUL_OK(size_t, 2, MAX_BLOCKSIZE));

usr.bin/vndcompress/vndcompress.c

181

__CTASSERT(MUL_OK(uint64_t, 2, MAX_BLOCKSIZE));

usr.bin/vndcompress/vndcompress.c

182

__CTASSERT(MUL_OK(off_t, 2, MAX_BLOCKSIZE));

usr.bin/vndcompress/vndcompress.c

310

__CTASSERT(MUL_OK(uint64_t, MAX_N_BLOCKS, MAX_BLOCKSIZE));

usr.bin/vndcompress/vndcompress.c

314

__CTASSERT(MUL_OK(uint64_t, MAX_N_BLOCKS, sizeof(uint64_t)));

usr.bin/vndcompress/vndcompress.c

315

__CTASSERT(ADD_OK(uint64_t, CLOOP2_OFFSET_TABLE_OFFSET,

usr.bin/vndcompress/vndcompress.c

331

__CTASSERT(MUL_OK(uint64_t, MAX_N_BLOCKS, MAX_BLOCKSIZE));

usr.bin/vndcompress/vndcompress.c

341

__CTASSERT(INT_MAX <= SIZE_MAX);

usr.bin/vndcompress/vndcompress.c

369

__CTASSERT(MUL_OK(uint64_t, MAX_N_BLOCKS, MAX_BLOCKSIZE));

usr.bin/vndcompress/vndcompress.c

404

__CTASSERT(0 < DEV_BSIZE);

usr.bin/vndcompress/vndcompress.c

405

__CTASSERT((MIN_BLOCKSIZE % DEV_BSIZE) == 0);

usr.bin/vndcompress/vndcompress.c

406

__CTASSERT(MIN_BLOCKSIZE <= DEF_BLOCKSIZE);

usr.bin/vndcompress/vndcompress.c

407

__CTASSERT((DEF_BLOCKSIZE % DEV_BSIZE) == 0);

usr.bin/vndcompress/vndcompress.c

408

__CTASSERT(DEF_BLOCKSIZE <= MAX_BLOCKSIZE);

usr.bin/vndcompress/vndcompress.c

409

__CTASSERT((MAX_BLOCKSIZE % DEV_BSIZE) == 0);

usr.bin/vndcompress/vndcompress.c

423

__CTASSERT(DEV_BSIZE <= UINT32_MAX);

usr.bin/vndcompress/vndcompress.c

466

__CTASSERT(OFF_MAX <= UINT64_MAX);

usr.bin/vndcompress/vndcompress.c

473

__CTASSERT(0 < MIN_BLOCKSIZE);

usr.bin/vndcompress/vndcompress.c

479

__CTASSERT(MAX_N_BLOCKS <= UINT32_MAX);

usr.bin/vndcompress/vndcompress.c

490

__CTASSERT(ADD_OK(uint32_t, MAX_N_BLOCKS, 1));

usr.bin/vndcompress/vndcompress.c

492

__CTASSERT(MAX_N_OFFSETS == (MAX_N_BLOCKS + 1));

usr.bin/vndcompress/vndcompress.c

493

__CTASSERT(MUL_OK(size_t, MAX_N_OFFSETS, sizeof(uint64_t)));

usr.bin/vndcompress/vndcompress.c

494

__CTASSERT(CLOOP2_OFFSET_TABLE_OFFSET <= OFFTAB_MAX_FDPOS);

usr.bin/vndcompress/vndcompress.c

589

__CTASSERT(sizeof(cloop2_magic) <= sizeof(header.cl2h_magic));

usr.bin/vndcompress/vndcompress.c

616

__CTASSERT(MUL_OK(uint64_t, MAX_N_OFFSETS, sizeof(uint64_t)));

usr.bin/vndcompress/vndcompress.c

617

__CTASSERT(ADD_OK(uint64_t, sizeof(struct cloop2_header),

usr.bin/vndcompress/vndcompress.c

628

__CTASSERT(MAX_N_OFFSETS <= UINT32_MAX);

usr.bin/vndcompress/vndcompress.c

63

__CTASSERT(sizeof(struct cloop2_header) == CLOOP2_OFFSET_TABLE_OFFSET);

usr.bin/vndcompress/vndcompress.c

647

__CTASSERT(MUL_OK(size_t, 2, MAX_BLOCKSIZE));

usr.bin/vndcompress/vndcompress.c

780

__CTASSERT(MUL_OK(unsigned long, 2, MAX_BLOCKSIZE));

usr.bin/vndcompress/vndcompress.c

874

__CTASSERT(sizeof(cloop2_magic) <= sizeof(header.cl2h_magic));

usr.bin/vndcompress/vnduncompress.c

101

__CTASSERT(DEV_BSIZE <= UINT32_MAX);

usr.bin/vndcompress/vnduncompress.c

106

__CTASSERT(MAX_N_BLOCKS <= UINT32_MAX);

usr.bin/vndcompress/vnduncompress.c

112

__CTASSERT(MAX_N_BLOCKS <= (UINT32_MAX - 1));

usr.bin/vndcompress/vnduncompress.c

113

__CTASSERT((MAX_N_BLOCKS + 1) == MAX_N_OFFSETS);

usr.bin/vndcompress/vnduncompress.c

137

__CTASSERT(CLOOP2_OFFSET_TABLE_OFFSET <= OFFTAB_MAX_FDPOS);

usr.bin/vndcompress/vnduncompress.c

144

__CTASSERT(MUL_OK(size_t, 2, MAX_BLOCKSIZE));

usr.bin/vndcompress/vnduncompress.c

149

__CTASSERT(MAX_BLOCKSIZE <= SIZE_MAX);

usr.bin/vndcompress/vnduncompress.c

157

__CTASSERT(MUL_OK(off_t, MAX_N_OFFSETS, sizeof(uint64_t)));

usr.bin/vndcompress/vnduncompress.c

158

__CTASSERT(ADD_OK(off_t, sizeof(header),

usr.bin/vndcompress/vnduncompress.c

160

__CTASSERT(OFF_MAX <= UINT64_MAX);

usr.bin/vndcompress/vnduncompress.c

178

__CTASSERT(MUL_OK(size_t, 2, MAX_BLOCKSIZE));

usr.bin/vndcompress/vnduncompress.c

91

__CTASSERT(MIN_BLOCKSIZE <= UINT32_MAX);

usr.bin/vndcompress/vnduncompress.c

96

__CTASSERT(MAX_BLOCKSIZE <= UINT32_MAX);

usr.sbin/dumplfs/dumplfs.c

248

__CTASSERT(sizeof(struct dlfs) == sizeof(struct dlfs64));

usr.sbin/dumplfs/dumplfs.c

812

__CTASSERT(sizeof(struct dlfs) ==

usr.sbin/inetd/inetd.c

1193

__CTASSERT(sizeof(cmsgbuf) > CMSG_SPACE(sizeof(struct in_pktinfo)));

usr.sbin/inetd/inetd.c

1195

__CTASSERT(sizeof(cmsgbuf) > CMSG_SPACE(sizeof(struct in6_pktinfo)));

usr.sbin/installboot/arch/vax.c

120

__CTASSERT(sizeof(bb)==VAX_BOOT_BLOCK_BLOCKSIZE);

usr.sbin/installboot/arch/vax.c

188

__CTASSERT(offsetof(struct vax_boot_block,bb_magic1) == 0x19e);

usr.sbin/installboot/arch/vax.c

189

__CTASSERT(sizeof(struct vax_boot_block) == VAX_BOOT_BLOCK_BLOCKSIZE);

usr.sbin/installboot/arch/vax.c

93

#ifndef __CTASSERT

usr.sbin/iopctl/iopctl.c

355

__CTASSERT(sizeof(serial) == sizeof(p.di.serialnumber));

usr.sbin/npf/npfctl/npf_cmd.c

76

__CTASSERT(NPF_RULE_MAXKEYLEN >= SHA_DIGEST_LENGTH);

usr.sbin/pcictl/pcictl.c

323

__CTASSERT(sizeof(value) == sizeof(u_int));

usr.sbin/tprof/tprof_top.c

559

__CTASSERT(idx < __arraycount(tprofstat_width)); \