testsuites/validation/tc-type.c

0001 /* SPDX-License-Identifier: BSD-2-Clause */
0002
0003 /**
0004  * @file
0005  *
0006  * @ingroup RtemsTypeValType
0007  */
0008
0009 /*
0010  * Copyright (C) 2021, 2023 embedded brains GmbH & Co. KG
0011  *
0012  * Redistribution and use in source and binary forms, with or without
0013  * modification, are permitted provided that the following conditions
0014  * are met:
0015  * 1. Redistributions of source code must retain the above copyright
0016  *    notice, this list of conditions and the following disclaimer.
0017  * 2. Redistributions in binary form must reproduce the above copyright
0018  *    notice, this list of conditions and the following disclaimer in the
0019  *    documentation and/or other materials provided with the distribution.
0020  *
0021  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0022  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0023  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0024  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0025  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0026  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0027  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0028  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0029  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0030  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0031  * POSSIBILITY OF SUCH DAMAGE.
0032  */
0033
0034 /*
0035  * This file is part of the RTEMS quality process and was automatically
0036  * generated.  If you find something that needs to be fixed or
0037  * worded better please post a report or patch to an RTEMS mailing list
0038  * or raise a bug report:
0039  *
0040  * https://www.rtems.org/bugs.html
0041  *
0042  * For information on updating and regenerating please refer to the How-To
0043  * section in the Software Requirements Engineering chapter of the
0044  * RTEMS Software Engineering manual.  The manual is provided as a part of
0045  * a release.  For development sources please refer to the online
0046  * documentation at:
0047  *
0048  * https://docs.rtems.org
0049  */
0050
0051 #ifdef HAVE_CONFIG_H
0052 #include "config.h"
0053 #endif
0054
0055 #include <rtems.h>
0056 #include <rtems/score/objectimpl.h>
0057
0058 #include <rtems/test.h>
0059
0060 /**
0061  * @defgroup RtemsTypeValType spec:/rtems/type/val/type
0062  *
0063  * @ingroup TestsuitesValidationNoClock0
0064  *
0065  * @brief Tests some @ref RTEMSAPIClassicTypes interfaces.
0066  *
0067  * This test case performs the following actions:
0068  *
0069  * - Validate the RTEMS_ID_NONE constant.
0070  *
0071  *   - Assert that RTEMS_ID_NONE cannot be associated with an object because it
0072  *     has an object index outside the range of valid object indices.
0073  *
0074  * - Validate the RTEMS_NO_TIMEOUT constant.
0075  *
0076  *   - Assert that RTEMS_NO_TIMEOUT is a compile time constant which evaluates
0077  *     to a value of zero.
0078  *
0079  *   - Check that RTEMS_NO_TIMEOUT evaluates to a value of zero.
0080  *
0081  * @{
0082  */
0083
0084 /**
0085  * @brief Validate the RTEMS_ID_NONE constant.
0086  */
0087 static void RtemsTypeValType_Action_0( void )
0088 {
0089   /* Nothing to do */
0090
0091   /*
0092    * Assert that RTEMS_ID_NONE cannot be associated with an object because it
0093    * has an object index outside the range of valid object indices.
0094    */
0095   RTEMS_STATIC_ASSERT(
0096     ( ( RTEMS_ID_NONE >> OBJECTS_INDEX_START_BIT ) &
0097       OBJECTS_INDEX_VALID_BITS ) < OBJECTS_INDEX_MINIMUM,
0098     ID_NONE
0099   );
0100 }
0101
0102 /**
0103  * @brief Validate the RTEMS_NO_TIMEOUT constant.
0104  */
0105 static void RtemsTypeValType_Action_1( void )
0106 {
0107   /* Nothing to do */
0108
0109   /*
0110    * Assert that RTEMS_NO_TIMEOUT is a compile time constant which evaluates to
0111    * a value of zero.
0112    */
0113   RTEMS_STATIC_ASSERT( RTEMS_NO_TIMEOUT == 0, NO_TIMEOUT );
0114
0115   /*
0116    * Check that RTEMS_NO_TIMEOUT evaluates to a value of zero.
0117    */
0118   T_eq_u32( RTEMS_NO_TIMEOUT, 0 );
0119 }
0120
0121 /**
0122  * @fn void T_case_body_RtemsTypeValType( void )
0123  */
0124 T_TEST_CASE( RtemsTypeValType )
0125 {
0126   RtemsTypeValType_Action_0();
0127   RtemsTypeValType_Action_1();
0128 }
0129
0130 /** @} */