184011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania/*
284011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * Copyright (C) 2009 The Android Open Source Project
384011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * All rights reserved.
484011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania *
584011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * Redistribution and use in source and binary forms, with or without
684011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * modification, are permitted provided that the following conditions
784011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * are met:
884011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania *  * Redistributions of source code must retain the above copyright
984011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania *    notice, this list of conditions and the following disclaimer.
1084011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania *  * Redistributions in binary form must reproduce the above copyright
1184011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania *    notice, this list of conditions and the following disclaimer in
1284011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania *    the documentation and/or other materials provided with the
1384011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania *    distribution.
1484011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania *
1584011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1684011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1784011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
1884011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
1984011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
2084011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
2184011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
2284011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
2384011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
2484011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
2584011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
2684011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania * SUCH DAMAGE.
2784011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania */
2884011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania
291aa5708e437b96e04f31d9c9f167427411ba5510Niko Catania
3084011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania#include <cassert>
31b381ead492251a797d2df4b260cb01eb1f64cfadDavid 'Digit' Turner#if defined BIONIC && !defined BIONIC_LIBSTDCPP_INCLUDE_CASSERT__
321aa5708e437b96e04f31d9c9f167427411ba5510Niko Catania#error "Wrong header file included!!"
331aa5708e437b96e04f31d9c9f167427411ba5510Niko Catania#endif
3484011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania
3584011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catanianamespace {
3684011c7599ab8a4463cefda5e8ce8a59987640d8Niko Cataniaconst int kPassed = 0;
3784011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania}  // anonymous namespace
3884011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania
3984011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catanianamespace android
4084011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania{
4184011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania#ifndef assert
4284011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania#error "assert must be a macro"
4384011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania#endif
4484011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania}  // android namespace
4584011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania
4684011c7599ab8a4463cefda5e8ce8a59987640d8Niko Cataniaint main(int argc, char **argv)
4784011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania{
4884011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania    return kPassed;
4984011c7599ab8a4463cefda5e8ce8a59987640d8Niko Catania}
50