macros_test.cpp

// Copyright (c) 2008 The NetBSD Foundation, Inc.
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions
// are met:
// 1. Redistributions of source code must retain the above copyright
//    notice, this list of conditions and the following disclaimer.
// 2. Redistributions in binary form must reproduce the above copyright
//    notice, this list of conditions and the following disclaimer in the
//    documentation and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND
// CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES,
// INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
// MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
// IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS BE LIABLE FOR ANY
// DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
// GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
// IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
// OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
// IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

#include "atf-c++/macros.hpp"

extern "C" {
#include <fcntl.h>
#include <unistd.h>
}

#include <cerrno>
#include <cstdlib>
#include <iostream>
#include <stdexcept>

#include <atf-c++.hpp>

#include "atf-c++/detail/fs.hpp"
#include "atf-c++/detail/process.hpp"
#include "atf-c++/detail/sanity.hpp"
#include "atf-c++/detail/test_helpers.hpp"
#include "atf-c++/detail/text.hpp"
#include "atf-c++/utils.hpp"

// ------------------------------------------------------------------------
// Auxiliary functions.
// ------------------------------------------------------------------------

static
void
create_ctl_file(const char *name)
{
    ATF_REQUIRE(open(name, O_CREAT | O_WRONLY | O_TRUNC, 0644) != -1);
}

// ------------------------------------------------------------------------
// Auxiliary test cases.
// ------------------------------------------------------------------------

ATF_TEST_CASE(h_pass);
ATF_TEST_CASE_HEAD(h_pass)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_pass)
{
    create_ctl_file("before");
    ATF_PASS();
    create_ctl_file("after");
}

ATF_TEST_CASE(h_fail);
ATF_TEST_CASE_HEAD(h_fail)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_fail)
{
    create_ctl_file("before");
    ATF_FAIL("Failed on purpose");
    create_ctl_file("after");
}

ATF_TEST_CASE(h_skip);
ATF_TEST_CASE_HEAD(h_skip)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_skip)
{
    create_ctl_file("before");
    ATF_SKIP("Skipped on purpose");
    create_ctl_file("after");
}

ATF_TEST_CASE(h_require);
ATF_TEST_CASE_HEAD(h_require)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_require)
{
    bool condition = atf::text::to_bool(get_config_var("condition"));

    create_ctl_file("before");
    ATF_REQUIRE(condition);
    create_ctl_file("after");
}

ATF_TEST_CASE(h_require_eq);
ATF_TEST_CASE_HEAD(h_require_eq)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_require_eq)
{
    long v1 = atf::text::to_type< long >(get_config_var("v1"));
    long v2 = atf::text::to_type< long >(get_config_var("v2"));

    create_ctl_file("before");
    ATF_REQUIRE_EQ(v1, v2);
    create_ctl_file("after");
}

ATF_TEST_CASE(h_require_in);
ATF_TEST_CASE_HEAD(h_require_in)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_require_in)
{
    const std::string element = get_config_var("value");

    std::set< std::string > collection;
    collection.insert("foo");
    collection.insert("bar");
    collection.insert("baz");

    create_ctl_file("before");
    ATF_REQUIRE_IN(element, collection);
    create_ctl_file("after");
}

ATF_TEST_CASE(h_require_match);
ATF_TEST_CASE_HEAD(h_require_match)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_require_match)
{
    const std::string regexp = get_config_var("regexp");
    const std::string string = get_config_var("string");

    create_ctl_file("before");
    ATF_REQUIRE_MATCH(regexp, string);
    create_ctl_file("after");
}

ATF_TEST_CASE(h_require_not_in);
ATF_TEST_CASE_HEAD(h_require_not_in)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_require_not_in)
{
    const std::string element = get_config_var("value");

    std::set< std::string > collection;
    collection.insert("foo");
    collection.insert("bar");
    collection.insert("baz");

    create_ctl_file("before");
    ATF_REQUIRE_NOT_IN(element, collection);
    create_ctl_file("after");
}

ATF_TEST_CASE(h_require_throw);
ATF_TEST_CASE_HEAD(h_require_throw)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_require_throw)
{
    create_ctl_file("before");

    if (get_config_var("what") == "throw_int")
        ATF_REQUIRE_THROW(std::runtime_error, if (1) throw int(5));
    else if (get_config_var("what") == "throw_rt")
        ATF_REQUIRE_THROW(std::runtime_error,
                        if (1) throw std::runtime_error("e"));
    else if (get_config_var("what") == "no_throw_rt")
        ATF_REQUIRE_THROW(std::runtime_error,
                        if (0) throw std::runtime_error("e"));

    create_ctl_file("after");
}

ATF_TEST_CASE(h_require_throw_re);
ATF_TEST_CASE_HEAD(h_require_throw_re)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_require_throw_re)
{
    create_ctl_file("before");

    if (get_config_var("what") == "throw_int")
        ATF_REQUIRE_THROW_RE(std::runtime_error, "5", if (1) throw int(5));
    else if (get_config_var("what") == "throw_rt_match")
        ATF_REQUIRE_THROW_RE(std::runtime_error, "foo.*baz",
                             if (1) throw std::runtime_error("a foo bar baz"));
    else if (get_config_var("what") == "throw_rt_no_match")
        ATF_REQUIRE_THROW_RE(std::runtime_error, "foo.*baz",
                             if (1) throw std::runtime_error("baz foo bar a"));
    else if (get_config_var("what") == "no_throw_rt")
        ATF_REQUIRE_THROW_RE(std::runtime_error, "e",
                             if (0) throw std::runtime_error("e"));

    create_ctl_file("after");
}

static int
errno_fail_stub(const int raised_errno)
{
    errno = raised_errno;
    return -1;
}

static int
errno_ok_stub(void)
{
    return 0;
}

ATF_TEST_CASE(h_check_errno);
ATF_TEST_CASE_HEAD(h_check_errno)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_check_errno)
{
    create_ctl_file("before");

    if (get_config_var("what") == "no_error")
        ATF_CHECK_ERRNO(-1, errno_ok_stub() == -1);
    else if (get_config_var("what") == "errno_ok")
        ATF_CHECK_ERRNO(2, errno_fail_stub(2) == -1);
    else if (get_config_var("what") == "errno_fail")
        ATF_CHECK_ERRNO(3, errno_fail_stub(4) == -1);
    else
        UNREACHABLE;

    create_ctl_file("after");
}

ATF_TEST_CASE(h_require_errno);
ATF_TEST_CASE_HEAD(h_require_errno)
{
    set_md_var("descr", "Helper test case");
}
ATF_TEST_CASE_BODY(h_require_errno)
{
    create_ctl_file("before");

    if (get_config_var("what") == "no_error")
        ATF_REQUIRE_ERRNO(-1, errno_ok_stub() == -1);
    else if (get_config_var("what") == "errno_ok")
        ATF_REQUIRE_ERRNO(2, errno_fail_stub(2) == -1);
    else if (get_config_var("what") == "errno_fail")
        ATF_REQUIRE_ERRNO(3, errno_fail_stub(4) == -1);
    else
        UNREACHABLE;

    create_ctl_file("after");
}

// ------------------------------------------------------------------------
// Test cases for the macros.
// ------------------------------------------------------------------------

ATF_TEST_CASE(pass);
ATF_TEST_CASE_HEAD(pass)
{
    set_md_var("descr", "Tests the ATF_PASS macro");
}
ATF_TEST_CASE_BODY(pass)
{
    ATF_TEST_CASE_USE(h_pass);
    run_h_tc< ATF_TEST_CASE_NAME(h_pass) >();
    ATF_REQUIRE(atf::utils::grep_file("^passed", "result"));
    ATF_REQUIRE(atf::fs::exists(atf::fs::path("before")));
    ATF_REQUIRE(!atf::fs::exists(atf::fs::path("after")));
}

ATF_TEST_CASE(fail);
ATF_TEST_CASE_HEAD(fail)
{
    set_md_var("descr", "Tests the ATF_FAIL macro");
}
ATF_TEST_CASE_BODY(fail)
{
    ATF_TEST_CASE_USE(h_fail);
    run_h_tc< ATF_TEST_CASE_NAME(h_fail) >();
    ATF_REQUIRE(atf::utils::grep_file("^failed: Failed on purpose", "result"));
    ATF_REQUIRE(atf::fs::exists(atf::fs::path("before")));
    ATF_REQUIRE(!atf::fs::exists(atf::fs::path("after")));
}

ATF_TEST_CASE(skip);
ATF_TEST_CASE_HEAD(skip)
{
    set_md_var("descr", "Tests the ATF_SKIP macro");
}
ATF_TEST_CASE_BODY(skip)
{
    ATF_TEST_CASE_USE(h_skip);
    run_h_tc< ATF_TEST_CASE_NAME(h_skip) >();
    ATF_REQUIRE(atf::utils::grep_file("^skipped: Skipped on purpose",
        "result"));
    ATF_REQUIRE(atf::fs::exists(atf::fs::path("before")));
    ATF_REQUIRE(!atf::fs::exists(atf::fs::path("after")));
}

ATF_TEST_CASE(require);
ATF_TEST_CASE_HEAD(require)
{
    set_md_var("descr", "Tests the ATF_REQUIRE macro");
}
ATF_TEST_CASE_BODY(require)
{
    struct test {
        const char *cond;
        bool ok;
    } *t, tests[] = {
        { "false", false },
        { "true", true },
        { NULL, false }
    };

    const atf::fs::path before("before");
    const atf::fs::path after("after");

    for (t = &tests[0]; t->cond != NULL; t++) {
        atf::tests::vars_map config;
        config["condition"] = t->cond;

        std::cout << "Checking with a " << t->cond << " value\n";

        ATF_TEST_CASE_USE(h_require);
        run_h_tc< ATF_TEST_CASE_NAME(h_require) >(config);

        ATF_REQUIRE(atf::fs::exists(before));
        if (t->ok) {
            ATF_REQUIRE(atf::utils::grep_file("^passed", "result"));
            ATF_REQUIRE(atf::fs::exists(after));
        } else {
            ATF_REQUIRE(atf::utils::grep_file(
                "^failed: .*condition not met", "result"));
            ATF_REQUIRE(!atf::fs::exists(after));
        }

        atf::fs::remove(before);
        if (t->ok)
            atf::fs::remove(after);
    }
}

ATF_TEST_CASE(require_eq);
ATF_TEST_CASE_HEAD(require_eq)
{
    set_md_var("descr", "Tests the ATF_REQUIRE_EQ macro");
}
ATF_TEST_CASE_BODY(require_eq)
{
    struct test {
        const char *v1;
        const char *v2;
        bool ok;
    } *t, tests[] = {
        { "1", "1", true },
        { "1", "2", false },
        { "2", "1", false },
        { "2", "2", true },
        { NULL, NULL, false }
    };

    const atf::fs::path before("before");
    const atf::fs::path after("after");

    for (t = &tests[0]; t->v1 != NULL; t++) {
        atf::tests::vars_map config;
        config["v1"] = t->v1;
        config["v2"] = t->v2;

        std::cout << "Checking with " << t->v1 << ", " << t->v2
                  << " and expecting " << (t->ok ? "true" : "false")
                  << "\n";

        ATF_TEST_CASE_USE(h_require_eq);
        run_h_tc< ATF_TEST_CASE_NAME(h_require_eq) >(config);

        ATF_REQUIRE(atf::fs::exists(before));
        if (t->ok) {
            ATF_REQUIRE(atf::utils::grep_file("^passed", "result"));
            ATF_REQUIRE(atf::fs::exists(after));
        } else {
            ATF_REQUIRE(atf::utils::grep_file("^failed: .*v1 != v2", "result"));
            ATF_REQUIRE(!atf::fs::exists(after));
        }

        atf::fs::remove(before);
        if (t->ok)
            atf::fs::remove(after);
    }
}

ATF_TEST_CASE(require_in);
ATF_TEST_CASE_HEAD(require_in)
{
    set_md_var("descr", "Tests the ATF_REQUIRE_IN macro");
}
ATF_TEST_CASE_BODY(require_in)
{
    struct test {
        const char *value;
        bool ok;
    } *t, tests[] = {
        { "foo", true },
        { "bar", true },
        { "baz", true },
        { "xxx", false },
        { "fooa", false },
        { "foo ", false },
        { NULL, false }
    };

    const atf::fs::path before("before");
    const atf::fs::path after("after");

    for (t = &tests[0]; t->value != NULL; t++) {
        atf::tests::vars_map config;
        config["value"] = t->value;

        ATF_TEST_CASE_USE(h_require_in);
        run_h_tc< ATF_TEST_CASE_NAME(h_require_in) >(config);

        ATF_REQUIRE(atf::fs::exists(before));
        if (t->ok) {
            ATF_REQUIRE(atf::utils::grep_file("^passed", "result"));
            ATF_REQUIRE(atf::fs::exists(after));
        } else {
            ATF_REQUIRE(atf::utils::grep_file("^failed: ", "result"));
            ATF_REQUIRE(!atf::fs::exists(after));
        }

        atf::fs::remove(before);
        if (t->ok)
            atf::fs::remove(after);
    }
}

ATF_TEST_CASE(require_match);
ATF_TEST_CASE_HEAD(require_match)
{
    set_md_var("descr", "Tests the ATF_REQUIRE_MATCH macro");
}
ATF_TEST_CASE_BODY(require_match)
{
    struct test {
        const char *regexp;
        const char *string;
        bool ok;
    } *t, tests[] = {
        { "foo.*bar", "this is a foo, bar, baz", true },
        { "bar.*baz", "this is a baz, bar, foo", false },
        { NULL, NULL, false }
    };

    const atf::fs::path before("before");
    const atf::fs::path after("after");

    for (t = &tests[0]; t->regexp != NULL; t++) {
        atf::tests::vars_map config;
        config["regexp"] = t->regexp;
        config["string"] = t->string;

        std::cout << "Checking with " << t->regexp << ", " << t->string
                  << " and expecting " << (t->ok ? "true" : "false")
                  << "\n";

        ATF_TEST_CASE_USE(h_require_match);
        run_h_tc< ATF_TEST_CASE_NAME(h_require_match) >(config);

        ATF_REQUIRE(atf::fs::exists(before));
        if (t->ok) {
            ATF_REQUIRE(atf::utils::grep_file("^passed", "result"));
            ATF_REQUIRE(atf::fs::exists(after));
        } else {
            ATF_REQUIRE(atf::utils::grep_file("^failed: ", "result"));
            ATF_REQUIRE(!atf::fs::exists(after));
        }

        atf::fs::remove(before);
        if (t->ok)
            atf::fs::remove(after);
    }
}

ATF_TEST_CASE(require_not_in);
ATF_TEST_CASE_HEAD(require_not_in)
{
    set_md_var("descr", "Tests the ATF_REQUIRE_NOT_IN macro");
}
ATF_TEST_CASE_BODY(require_not_in)
{
    struct test {
        const char *value;
        bool ok;
    } *t, tests[] = {
        { "foo", false },
        { "bar", false },
        { "baz", false },
        { "xxx", true },
        { "fooa", true },
        { "foo ", true },
        { NULL, false }
    };

    const atf::fs::path before("before");
    const atf::fs::path after("after");

    for (t = &tests[0]; t->value != NULL; t++) {
        atf::tests::vars_map config;
        config["value"] = t->value;

        ATF_TEST_CASE_USE(h_require_not_in);
        run_h_tc< ATF_TEST_CASE_NAME(h_require_not_in) >(config);

        ATF_REQUIRE(atf::fs::exists(before));
        if (t->ok) {
            ATF_REQUIRE(atf::utils::grep_file("^passed", "result"));
            ATF_REQUIRE(atf::fs::exists(after));
        } else {
            ATF_REQUIRE(atf::utils::grep_file("^failed: ", "result"));
            ATF_REQUIRE(!atf::fs::exists(after));
        }

        atf::fs::remove(before);
        if (t->ok)
            atf::fs::remove(after);
    }
}

ATF_TEST_CASE(require_throw);
ATF_TEST_CASE_HEAD(require_throw)
{
    set_md_var("descr", "Tests the ATF_REQUIRE_THROW macro");
}
ATF_TEST_CASE_BODY(require_throw)
{
    struct test {
        const char *what;
        bool ok;
        const char *msg;
    } *t, tests[] = {
        { "throw_int", false, "unexpected error" },
        { "throw_rt", true, NULL },
        { "no_throw_rt", false, "did not throw" },
        { NULL, false, NULL }
    };

    const atf::fs::path before("before");
    const atf::fs::path after("after");

    for (t = &tests[0]; t->what != NULL; t++) {
        atf::tests::vars_map config;
        config["what"] = t->what;

        std::cout << "Checking with " << t->what << " and expecting "
                  << (t->ok ? "true" : "false") << "\n";

        ATF_TEST_CASE_USE(h_require_throw);
        run_h_tc< ATF_TEST_CASE_NAME(h_require_throw) >(config);

        ATF_REQUIRE(atf::fs::exists(before));
        if (t->ok) {
            ATF_REQUIRE(atf::utils::grep_file("^passed", "result"));
            ATF_REQUIRE(atf::fs::exists(after));
        } else {
            std::cout << "Checking that message contains '" << t->msg
                      << "'\n";
            std::string exp_result = std::string("^failed: .*") + t->msg;
            ATF_REQUIRE(atf::utils::grep_file(exp_result.c_str(), "result"));
            ATF_REQUIRE(!atf::fs::exists(after));
        }

        atf::fs::remove(before);
        if (t->ok)
            atf::fs::remove(after);
    }
}

ATF_TEST_CASE(require_throw_re);
ATF_TEST_CASE_HEAD(require_throw_re)
{
    set_md_var("descr", "Tests the ATF_REQUIRE_THROW_RE macro");
}
ATF_TEST_CASE_BODY(require_throw_re)
{
    struct test {
        const char *what;
        bool ok;
        const char *msg;
    } *t, tests[] = {
        { "throw_int", false, "unexpected error" },
        { "throw_rt_match", true, NULL },
        { "throw_rt_no_match", false,
          "threw.*runtime_error\\(baz foo bar a\\).*"
          "does not match 'foo\\.\\*baz'" },
        { "no_throw_rt", false, "did not throw" },
        { NULL, false, NULL }
    };

    const atf::fs::path before("before");
    const atf::fs::path after("after");

    for (t = &tests[0]; t->what != NULL; t++) {
        atf::tests::vars_map config;
        config["what"] = t->what;

        std::cout << "Checking with " << t->what << " and expecting "
                  << (t->ok ? "true" : "false") << "\n";

        ATF_TEST_CASE_USE(h_require_throw_re);
        run_h_tc< ATF_TEST_CASE_NAME(h_require_throw_re) >(config);

        ATF_REQUIRE(atf::fs::exists(before));
        if (t->ok) {
            ATF_REQUIRE(atf::utils::grep_file("^passed", "result"));
            ATF_REQUIRE(atf::fs::exists(after));
        } else {
            std::cout << "Checking that message contains '" << t->msg
                      << "'\n";
            std::string exp_result = std::string("^failed: .*") + t->msg;
            ATF_REQUIRE(atf::utils::grep_file(exp_result.c_str(), "result"));
            ATF_REQUIRE(!atf::fs::exists(after));
        }

        atf::fs::remove(before);
        if (t->ok)
            atf::fs::remove(after);
    }
}

ATF_TEST_CASE(check_errno);
ATF_TEST_CASE_HEAD(check_errno)
{
    set_md_var("descr", "Tests the ATF_CHECK_ERRNO macro");
}
ATF_TEST_CASE_BODY(check_errno)
{
    struct test {
        const char *what;
        bool ok;
        const char *msg;
    } *t, tests[] = {
        { "no_error", false,
          "Expected true value in errno_ok_stub\\(\\) == -1" },
        { "errno_ok", true, NULL },
        { "errno_fail", false,
          "Expected errno 3, got 4, in errno_fail_stub\\(4\\) == -1" },
        { NULL, false, NULL }
    };

    const atf::fs::path before("before");
    const atf::fs::path after("after");

    for (t = &tests[0]; t->what != NULL; t++) {
        atf::tests::vars_map config;
        config["what"] = t->what;

        ATF_TEST_CASE_USE(h_check_errno);
        run_h_tc< ATF_TEST_CASE_NAME(h_check_errno) >(config);

        ATF_REQUIRE(atf::fs::exists(before));
        ATF_REQUIRE(atf::fs::exists(after));

        if (t->ok) {
            ATF_REQUIRE(atf::utils::grep_file("^passed", "result"));
        } else {
            ATF_REQUIRE(atf::utils::grep_file("^failed", "result"));

            std::string exp_result = "macros_test.cpp:[0-9]+: " +
                std::string(t->msg) + "$";
            ATF_REQUIRE(atf::utils::grep_file(exp_result.c_str(), "stderr"));
        }

        atf::fs::remove(before);
        atf::fs::remove(after);
    }
}

ATF_TEST_CASE(require_errno);
ATF_TEST_CASE_HEAD(require_errno)
{
    set_md_var("descr", "Tests the ATF_REQUIRE_ERRNO macro");
}
ATF_TEST_CASE_BODY(require_errno)
{
    struct test {
        const char *what;
        bool ok;
        const char *msg;
    } *t, tests[] = {
        { "no_error", false,
          "Expected true value in errno_ok_stub\\(\\) == -1" },
        { "errno_ok", true, NULL },
        { "errno_fail", false,
          "Expected errno 3, got 4, in errno_fail_stub\\(4\\) == -1" },
        { NULL, false, NULL }
    };

    const atf::fs::path before("before");
    const atf::fs::path after("after");

    for (t = &tests[0]; t->what != NULL; t++) {
        atf::tests::vars_map config;
        config["what"] = t->what;

        ATF_TEST_CASE_USE(h_require_errno);
        run_h_tc< ATF_TEST_CASE_NAME(h_require_errno) >(config);

        ATF_REQUIRE(atf::fs::exists(before));
        if (t->ok) {
            ATF_REQUIRE(atf::utils::grep_file("^passed", "result"));
            ATF_REQUIRE(atf::fs::exists(after));
        } else {
            std::string exp_result = "^failed: .*macros_test.cpp:[0-9]+: " +
                std::string(t->msg) + "$";
            ATF_REQUIRE(atf::utils::grep_file(exp_result.c_str(), "result"));

            ATF_REQUIRE(!atf::fs::exists(after));
        }

        atf::fs::remove(before);
        if (t->ok)
            atf::fs::remove(after);
    }
}

// ------------------------------------------------------------------------
// Tests cases for the header file.
// ------------------------------------------------------------------------

BUILD_TC(use, "macros_hpp_test.cpp",
         "Tests that the macros provided by the atf-c++/macros.hpp file "
         "do not cause syntax errors when used",
         "Build of macros_hpp_test.cpp failed; some macros in "
         "atf-c++/macros.hpp are broken");

ATF_TEST_CASE(detect_unused_tests);
ATF_TEST_CASE_HEAD(detect_unused_tests)
{
    set_md_var("descr",
               "Tests that defining an unused test case raises a warning (and "
               "thus an error)");
}
ATF_TEST_CASE_BODY(detect_unused_tests)
{
    const char* validate_compiler =
        "class test_class { public: int dummy; };\n"
        "#define define_unused static test_class unused\n"
        "define_unused;\n";

    atf::utils::create_file("compiler_test.cpp", validate_compiler);
    if (build_check_cxx_o("compiler_test.cpp"))
        expect_fail("Compiler does not raise a warning on an unused "
                    "static global variable declared by a macro");

    if (build_check_cxx_o_srcdir(*this, "unused_test.cpp"))
        ATF_FAIL("Build of unused_test.cpp passed; unused test cases are "
                 "not properly detected");
}

// ------------------------------------------------------------------------
// Main.
// ------------------------------------------------------------------------

ATF_INIT_TEST_CASES(tcs)
{
    // Add the test cases for the macros.
    ATF_ADD_TEST_CASE(tcs, pass);
    ATF_ADD_TEST_CASE(tcs, fail);
    ATF_ADD_TEST_CASE(tcs, skip);
    ATF_ADD_TEST_CASE(tcs, check_errno);
    ATF_ADD_TEST_CASE(tcs, require);
    ATF_ADD_TEST_CASE(tcs, require_eq);
    ATF_ADD_TEST_CASE(tcs, require_in);
    ATF_ADD_TEST_CASE(tcs, require_match);
    ATF_ADD_TEST_CASE(tcs, require_not_in);
    ATF_ADD_TEST_CASE(tcs, require_throw);
    ATF_ADD_TEST_CASE(tcs, require_throw_re);
    ATF_ADD_TEST_CASE(tcs, require_errno);

    // Add the test cases for the header file.
    ATF_ADD_TEST_CASE(tcs, use);
    ATF_ADD_TEST_CASE(tcs, detect_unused_tests);
}