/* $NetBSD: t_stddef.c,v 1.1 2025/04/01 00:33:55 riastradh Exp $ */
/*-
* Copyright (c) 2025 The NetBSD Foundation, Inc.
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
* ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
* TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
* BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
* POSSIBILITY OF SUCH DAMAGE.
*/
/*
* Include <stddef.h> first to verify it declares everything we need.
*/
#include <stddef.h>
#if __STDC_VERSION__ - 0 >= 202311L
#if __STDC_VERSION_STDDEF_H__ - 0 < 202311L
#error __STDC_VERSION_STDDEF_H__ not defined appropriately
#endif
#endif
typedef ptrdiff_t nbtest_ptrdiff_t;
typedef size_t nbtest_size_t;
#if __STDC_VERSION__ - 0 >= 201112L
typedef max_align_t nbtest_max_align_t;
#endif
typedef wchar_t nbtest_wchar_t;
#if __STDC_VERSION__ - 0 >= 202311L
typedef nullptr_t nbtest_nullptr_t;
#endif
#include <sys/cdefs.h>
__RCSID("$NetBSD: t_stddef.c,v 1.1 2025/04/01 00:33:55 riastradh Exp $");
#include <atf-c.h>
#include <stdalign.h>
ATF_TC(macros);
ATF_TC_HEAD(macros, tc)
{
atf_tc_set_md_var(tc, "descr", "Test <stddef.h> macros work");
}
ATF_TC_BODY(macros, tc)
{
void *volatile pNULL = NULL;
#if __STDC_VERSION__ - 0 >= 202311L
void *volatile pnullptr = nullptr;
#endif
struct s { char x[3], y; };
size_t o;
ATF_CHECK(!pNULL);
#if __STDC_VERSION__ - 0 >= 202311L
ATF_CHECK(!pnullptr);
#endif
#if __STDC_VERSION__ - 0 >= 202311L
volatile enum { A, B } x = A;
switch (x) {
case A:
break;
case B:
default:
unreachable();
}
#endif
ATF_CHECK_MSG((o = offsetof(struct s, y)) == 3,
"o=%zu", o);
}
ATF_TC(types);
ATF_TC_HEAD(types, tc)
{
atf_tc_set_md_var(tc, "descr", "Test <stddef.h> types are reasonable");
}
ATF_TC_BODY(types, tc)
{
#ifdef __GNUC__
char *p, *q;
ATF_CHECK(__builtin_types_compatible_p(ptrdiff_t, typeof(p - q)));
ATF_CHECK(__builtin_types_compatible_p(size_t, typeof(sizeof(p))));
#if __STDC_VERSION__ - 0 >= 202311L
ATF_CHECK(__builtin_types_compatible_p(nullptr_t, typeof(nullptr)));
#endif
#endif
#if __STDC_VERSION__ - 0 >= 201112L
size_t a;
ATF_CHECK_MSG((a = alignof(max_align_t)) >= alignof(long long),
"a=%zu", a);
ATF_CHECK_MSG((a = alignof(max_align_t)) >= alignof(long double),
"a=%zu", a);
ATF_CHECK_MSG((a = alignof(max_align_t)) >= alignof(void *),
"a=%zu", a);
ATF_CHECK_MSG((a = alignof(max_align_t)) >= alignof(int (*)(void)),
"a=%zu", a);
#endif
}
ATF_TP_ADD_TCS(tp)
{
ATF_TP_ADD_TC(tp, macros);
ATF_TP_ADD_TC(tp, types);
return atf_no_error();
}
