Subversion Repositories openrisc_2011-10-31

/* ==========================================================================

 *

 *      tassert4.c

 *

 *      Assertion test case

 *

 *==========================================================================

 *####COPYRIGHTBEGIN####

 *

 * ----------------------------------------------------------------------------

 * Copyright (C) 1998, 1999, 2000 Red Hat, Inc.

 *

 * This file is part of the eCos host tools.

 *

 * This program is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License as published by the Free

 * Software Foundation; either version 2 of the License, or (at your option)

 * any later version.

 *

 * This program is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for

 * more details.

 *

 * You should have received a copy of the GNU General Public License along with

 * this program; if not, write to the Free Software Foundation, Inc.,

 * 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.

 *

 * ----------------------------------------------------------------------------

 *

 *####COPYRIGHTEND####

 *==========================================================================

 *#####DESCRIPTIONBEGIN####

 *

 * Author(s):           bartv

 * Contributors:        bartv

 * Date:                1998-11-27

 * Purpose:

 * Description:         A C equivalent of tassert1.cxx

 *

 *####DESCRIPTIONEND####

 *==========================================================================

 */

#include <cyg/infra/testcase.h>

#include <cyg/infra/cyg_ass.h>

#include <stdlib.h>

#ifdef CYGDBG_USE_ASSERTS

# error Assertions should not be enabled by default.

#endif

static const char message[] = "This should never be seen.";

int main(int argc, char** argv)

{

    CYG_ASSERT( true, message);

    CYG_ASSERT( false, message);

    CYG_ASSERTC(true);

    CYG_ASSERTC(false);

    CYG_FAIL(message);

    CYG_CHECK_DATA_PTR( &argc, message);

    CYG_CHECK_DATA_PTR( 0,     message);

    CYG_CHECK_FUNC_PTR( &main, message);

    CYG_CHECK_FUNC_PTR( 0,     message);

    CYG_CHECK_DATA_PTRC(&argc);

    CYG_CHECK_DATA_PTRC(0);

    CYG_CHECK_FUNC_PTRC(&main);

    CYG_CHECK_FUNC_PTRC(0);

    CYG_PRECONDITION(true, message);

    CYG_PRECONDITION(false, message);

    CYG_PRECONDITIONC(true);

    CYG_PRECONDITIONC(false);

    CYG_POSTCONDITION(true, message);

    CYG_POSTCONDITION(false, message);

    CYG_POSTCONDITIONC(true);

    CYG_POSTCONDITIONC(false);

    CYG_LOOP_INVARIANT(true, message);

    CYG_LOOP_INVARIANT(false, message);

    CYG_LOOP_INVARIANTC(true);

    CYG_LOOP_INVARIANTC(false);

    CYG_INVARIANT(true, message);

    CYG_INVARIANT(false, message);

    CYG_INVARIANTC(true);

    CYG_INVARIANTC(false);

    CYG_TEST_PASS_FINISH("disabled assertions in C code do nothing");

    return 0;

}

#ifdef CYG_ASSERT_CLASS

# error CYG_ASSERT_CLASS macro should not be defined in C code

#endif

#ifdef CYG_ASSERT_CLASSC

# error CYG_ASSERT_CLASSC macro should not be defined in C code

#endif

#ifdef CYG_ASSERT_CLASSO

# error CYG_ASSERT_CLASSO macro should not be defined in C code

#endif

#ifdef CYG_ASSERT_CLASSOC

# error CYG_ASSERT_CLASSOC macro should not be defined in C code

#endif

#ifdef CYG_ASSERT_ZERO_OR_CLASS

# error CYG_ASSERT_ZERO_OR_CLASS macro should not be defined in C code

#endif

#ifdef CYG_ASSERT_ZERO_OR_CLASSC

# error CYG_ASSERT_ZERO_OR_CLASSC macro should not be defined in C code

#endif

#ifdef CYG_ASSERT_THIS

# error CYG_ASSERT_THIS macro should not be defined in C code

#endif

#ifdef CYG_ASSERT_THISC

# error CYG_ASSERT_THISC macro should not be defined in C code

#endif

#ifdef CYGDBG_DEFINE_CHECK_THIS

# error CYGDBG_DEFINE_CHECK_THIS macro should not be defined in C code

#endif

#ifdef CYG_PRECONDITION_CLASS

# error CYG_PRECONDITION_CLASS macro should not be defined in C code

#endif

#ifdef CYG_PRECONDITION_CLASSC

# error CYG_PRECONDITION_CLASSC macro should not be defined in C code

#endif

#ifdef CYG_PRECONDITION_CLASSO

# error CYG_PRECONDITION_CLASSO macro should not be defined in C code

#endif

#ifdef CYG_PRECONDITION_CLASSOC

# error CYG_PRECONDITION_CLASSOC macro should not be defined in C code

#endif

#ifdef CYG_PRECONDITION_ZERO_OR_CLASS

# error CYG_PRECONDITION_ZERO_OR_CLASS macro should not be defined in C code

#endif

#ifdef CYG_PRECONDITION_ZERO_OR_CLASSC

# error CYG_PRECONDITION_ZERO_OR_CLASSC macro should not be defined in C code

#endif

#ifdef CYG_PRECONDITION_THIS

# error CYG_PRECONDITION_THIS macro should not be defined in C code

#endif

#ifdef CYG_PRECONDITION_THISC

# error CYG_PRECONDITION_THISC macro should not be defined in C code

#endif

#ifdef CYG_POSTCONDITION_CLASS

# error CYG_POSTCONDITION_CLASS macro should not be defined in C code

#endif

#ifdef CYG_POSTCONDITION_CLASSC

# error CYG_POSTCONDITION_CLASSC macro should not be defined in C code

#endif

#ifdef CYG_POSTCONDITION_CLASSO

# error CYG_POSTCONDITION_CLASSO macro should not be defined in C code

#endif

#ifdef CYG_POSTCONDITION_CLASSOC

# error CYG_POSTCONDITION_CLASSOC macro should not be defined in C code

#endif

#ifdef CYG_POSTCONDITION_ZERO_OR_CLASS

# error CYG_POSTCONDITION_ZERO_OR_CLASS macro should not be defined in C code

#endif

#ifdef CYG_POSTCONDITION_ZERO_OR_CLASSC

# error CYG_POSTCONDITION_ZERO_OR_CLASSC macro should not be defined in C code

#endif

#ifdef CYG_POSTCONDITION_THIS

# error CYG_POSTCONDITION_THIS macro should not be defined in C code

#endif

#ifdef CYG_POSTCONDITION_THISC

# error CYG_POSTCONDITION_THISC macro should not be defined in C code

#endif

#ifdef CYG_LOOP_INVARIANT_CLASS

# error CYG_LOOP_INVARIANT_CLASS macro should not be defined in C code

#endif

#ifdef CYG_LOOP_INVARIANT_CLASSC

# error CYG_LOOP_INVARIANT_CLASSC macro should not be defined in C code

#endif

#ifdef CYG_LOOP_INVARIANT_CLASSO

# error CYG_LOOP_INVARIANT_CLASSO macro should not be defined in C code

#endif

#ifdef CYG_LOOP_INVARIANT_CLASSOC

# error CYG_LOOP_INVARIANT_CLASSOC macro should not be defined in C code

#endif

#ifdef CYG_LOOP_INVARIANT_ZERO_OR_CLASS

# error CYG_LOOP_INVARIANT_ZERO_OR_CLASS macro should not be defined in C code

#endif

#ifdef CYG_LOOP_INVARIANT_ZERO_OR_CLASSC

# error CYG_LOOP_INVARIANT_ZERO_OR_CLASSC macro should not be defined in C code

#endif

#ifdef CYG_LOOP_INVARIANT_THIS

# error CYG_LOOP_INVARIANT_THIS macro should not be defined in C code

#endif

#ifdef CYG_LOOP_INVARIANT_THISC

# error CYG_LOOP_INVARIANT_THISC macro should not be defined in C code

#endif

#ifdef CYG_INVARIANT_CLASS

# error CYG_INVARIANT_CLASS macro should not be defined in C code

#endif

#ifdef CYG_INVARIANT_CLASSC

# error CYG_INVARIANT_CLASSC macro should not be defined in C code

#endif

#ifdef CYG_INVARIANT_CLASSO

# error CYG_INVARIANT_CLASSO macro should not be defined in C code

#endif

#ifdef CYG_INVARIANT_CLASSOC

# error CYG_INVARIANT_CLASSOC macro should not be defined in C code

#endif

#ifdef CYG_INVARIANT_THIS

# error CYG_INVARIANT_THIS macro should not be defined in C code

#endif

#ifdef CYG_INVARIANT_THISC

# error CYG_INVARIANT_THISC macro should not be defined in C code

#endif