ecos: packages/kernel/current/tests/ksem0.c annotate

annotate packages/kernel/current/tests/ksem0.c @ 3132:80f232caf539

* tests/except1.cxx (cause_exception): Fix compiler warning about variable that is set but not used. Enter CYGBLD_ATTRIB_UNUSED. * tests/kexcept1.c (cause_exception): Ditto. * tests/kmbox1.c (entry1): Fix compiler warning about variable that is set but not used. Use by a conditional CYGMTH_MBOX_PUT_CAN_WAIT. * tests/mbox1.cxx (entry1): Ditto. * tests/tm_basic.cxx (run_thread_tests, run_mbox_tests, run_flag_tests): Remove unused variables.

author	sergeig
date	Tue, 20 Mar 2012 15:39:58 +0000
parents	74dbf4c3f2e1
children

rev	line source
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	1 /*=================================================================
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	2 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	3 // ksem0.c
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	4 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	5 // Kernel C API Semaphore test 0
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	6 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	7 //==========================================================================
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	8 // ####ECOSGPLCOPYRIGHTBEGIN####
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	9 // -------------------------------------------
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	10 // This file is part of eCos, the Embedded Configurable Operating System.
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	11 // Copyright (C) 1998, 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 66 diff changeset	12 //
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	13 // eCos is free software; you can redistribute it and/or modify it under
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	14 // the terms of the GNU General Public License as published by the Free
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	15 // Software Foundation; either version 2 or (at your option) any later
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	16 // version.
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 66 diff changeset	17 //
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	18 // eCos is distributed in the hope that it will be useful, but WITHOUT
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	19 // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	20 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	21 // for more details.
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 66 diff changeset	22 //
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	23 // You should have received a copy of the GNU General Public License
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	24 // along with eCos; if not, write to the Free Software Foundation, Inc.,
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	25 // 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 66 diff changeset	26 //
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	27 // As a special exception, if other files instantiate templates or use
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	28 // macros or inline functions from this file, or you compile this file
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	29 // and link it with other works to produce a work based on this file,
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	30 // this file does not by itself cause the resulting work to be covered by
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	31 // the GNU General Public License. However the source code for this file
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	32 // must still be made available in accordance with section (3) of the GNU
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	33 // General Public License v2.
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 66 diff changeset	34 //
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	35 // This exception does not invalidate any other reasons why a work based
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	36 // on this file might be covered by the GNU General Public License.
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	37 // -------------------------------------------
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	38 // ####ECOSGPLCOPYRIGHTEND####
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	39 //==========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	40 //#####DESCRIPTIONBEGIN####
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	41 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	42 // Author(s): dsm
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	43 // Contributors: dsm
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	44 // Date: 1998-03-20
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	45 // Description: Limited to checking initialisation/destruction
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	46 //####DESCRIPTIONEND####
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	47 */
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	48
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	49 #include <cyg/kernel/kapi.h>
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	50
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	51 #include <cyg/infra/testcase.h>
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	52
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	53 #ifdef CYGFUN_KERNEL_API_C
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	54
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	55 #include "testaux.h"
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	56
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	57 cyg_sem_t s0, s1, s2;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	58
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	59 static bool flash( void )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	60 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	61 cyg_semaphore_init( &s0, 0 );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	62 cyg_semaphore_init( &s1, 1 );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	63 cyg_semaphore_init( &s2, 17 );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	64
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	65 cyg_semaphore_destroy( &s0 );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	66 cyg_semaphore_destroy( &s1 );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	67 cyg_semaphore_destroy( &s2 );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	68
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	69 return true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	70 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	71
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	72 void ksem0_main( void )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	73 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	74 CYG_TEST_INIT();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	75
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	76 CHECK(flash());
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	77 CHECK(flash());
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	78
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	79 CYG_TEST_PASS_FINISH("Kernel C API Semaphore 0 OK");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	80
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	81 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	82
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	83 externC void
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	84 cyg_start( void )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	85 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	86 ksem0_main();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	87 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	88
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	89
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	90 #else /* def CYGFUN_KERNEL_API_C */
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	91 externC void
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	92 cyg_start( void )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	93 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	94 CYG_TEST_INIT();
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	95 CYG_TEST_NA("Kernel C API layer disabled");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	96 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	97 #endif /* def CYGFUN_KERNEL_API_C */
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	98
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	99 /* EOF ksem0.c */

Mercurial > ecos

annotate packages/kernel/current/tests/ksem0.c @ 3132:80f232caf539