hardenedbsd/HardenedBSD
1
0
Fork 0
mirror of https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git synced 2024-11-13 05:41:26 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

include: Add tests for N2867.

Browse Source 
Reviewed by:	imp
Differential Revision:	https://reviews.freebsd.org/D41735
This commit is contained in:
Dag-Erling Smørgrav 2023-09-07 06:14:59 +00:00
parent e6615b1034
commit 4fbb9c43aa
4 changed files with 62 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
etc/mtree/BSD.tests.dist
View File

@ -278,6 +278,8 @@
.. ..
.. ..
.. ..
include
..
lib lib
atf atf
libatf-c libatf-c

1
tests/Makefile
View File

@ -9,6 +9,7 @@ KYUAFILE= yes
SUBDIR+= etc SUBDIR+= etc
SUBDIR+= examples SUBDIR+= examples
SUBDIR+= include
SUBDIR+= sys SUBDIR+= sys
SUBDIR+= atf_python SUBDIR+= atf_python

7
tests/include/Makefile Normal file
View File

@ -0,0 +1,7 @@
.include <bsd.own.mk>
TESTSDIR= ${TESTSBASE}/include
ATF_TESTS_C+= stdckdint_test
.include <bsd.test.mk>

52
tests/include/stdckdint_test.c Normal file
View File

@ -0,0 +1,52 @@
/*-
* Copyright (c) 2023 Dag-Erling Smørgrav
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <limits.h>
#include <stdckdint.h>
#include <atf-c.h>
ATF_TC_WITHOUT_HEAD(ckd_add);
ATF_TC_BODY(ckd_add, tc)
{
int result;
ATF_CHECK(!ckd_add(&result, INT_MAX, 0));
ATF_CHECK_EQ(INT_MAX, result);
ATF_CHECK(ckd_add(&result, INT_MAX, 1));
ATF_CHECK_EQ(INT_MIN, result);
}
ATF_TC_WITHOUT_HEAD(ckd_sub);
ATF_TC_BODY(ckd_sub, tc)
{
int result;
ATF_CHECK(!ckd_sub(&result, INT_MIN, 0));
ATF_CHECK_EQ(INT_MIN, result);
ATF_CHECK(ckd_sub(&result, INT_MIN, 1));
ATF_CHECK_EQ(INT_MAX, result);
}
ATF_TC_WITHOUT_HEAD(ckd_mul);
ATF_TC_BODY(ckd_mul, tc)
{
int result;
ATF_CHECK(!ckd_mul(&result, INT_MAX / 2, 2));
ATF_CHECK_EQ(INT_MAX - 1, result);
ATF_CHECK(ckd_mul(&result, INT_MAX / 2 + 1, 2));
ATF_CHECK_EQ(INT_MIN, result);
}
ATF_TP_ADD_TCS(tp)
{
ATF_TP_ADD_TC(tp, ckd_add);
ATF_TP_ADD_TC(tp, ckd_sub);
ATF_TP_ADD_TC(tp, ckd_mul);
return (atf_no_error());
}