xref: /src/contrib/kyua/utils/stacktrace_test.cpp (revision b0d29bc47dba79f6f38e67eabadfb4b32ffd9390)
108334c51SBrooks Davis // Copyright 2012 The Kyua Authors.
208334c51SBrooks Davis // All rights reserved.
308334c51SBrooks Davis //
408334c51SBrooks Davis // Redistribution and use in source and binary forms, with or without
508334c51SBrooks Davis // modification, are permitted provided that the following conditions are
608334c51SBrooks Davis // met:
708334c51SBrooks Davis //
808334c51SBrooks Davis // * Redistributions of source code must retain the above copyright
908334c51SBrooks Davis //   notice, this list of conditions and the following disclaimer.
1008334c51SBrooks Davis // * Redistributions in binary form must reproduce the above copyright
1108334c51SBrooks Davis //   notice, this list of conditions and the following disclaimer in the
1208334c51SBrooks Davis //   documentation and/or other materials provided with the distribution.
1308334c51SBrooks Davis // * Neither the name of Google Inc. nor the names of its contributors
1408334c51SBrooks Davis //   may be used to endorse or promote products derived from this software
1508334c51SBrooks Davis //   without specific prior written permission.
1608334c51SBrooks Davis //
1708334c51SBrooks Davis // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1808334c51SBrooks Davis // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1908334c51SBrooks Davis // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
2008334c51SBrooks Davis // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
2108334c51SBrooks Davis // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
2208334c51SBrooks Davis // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
2308334c51SBrooks Davis // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2408334c51SBrooks Davis // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2508334c51SBrooks Davis // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2608334c51SBrooks Davis // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
2708334c51SBrooks Davis // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2808334c51SBrooks Davis 
2908334c51SBrooks Davis #include "utils/stacktrace.hpp"
3008334c51SBrooks Davis 
3108334c51SBrooks Davis extern "C" {
3208334c51SBrooks Davis #include <sys/resource.h>
3308334c51SBrooks Davis #include <sys/types.h>
3408334c51SBrooks Davis #include <sys/stat.h>
3508334c51SBrooks Davis 
3608334c51SBrooks Davis #include <signal.h>
3708334c51SBrooks Davis #include <unistd.h>
3808334c51SBrooks Davis }
3908334c51SBrooks Davis 
4008334c51SBrooks Davis #include <iostream>
4108334c51SBrooks Davis #include <sstream>
4208334c51SBrooks Davis 
4308334c51SBrooks Davis #include <atf-c++.hpp>
4408334c51SBrooks Davis 
4508334c51SBrooks Davis #include "utils/datetime.hpp"
4608334c51SBrooks Davis #include "utils/env.hpp"
4708334c51SBrooks Davis #include "utils/fs/operations.hpp"
4808334c51SBrooks Davis #include "utils/fs/path.hpp"
4908334c51SBrooks Davis #include "utils/optional.ipp"
5008334c51SBrooks Davis #include "utils/process/executor.ipp"
5108334c51SBrooks Davis #include "utils/process/child.ipp"
5208334c51SBrooks Davis #include "utils/process/operations.hpp"
5308334c51SBrooks Davis #include "utils/process/status.hpp"
5408334c51SBrooks Davis #include "utils/sanity.hpp"
5508334c51SBrooks Davis #include "utils/test_utils.ipp"
5608334c51SBrooks Davis 
5708334c51SBrooks Davis namespace datetime = utils::datetime;
5808334c51SBrooks Davis namespace executor = utils::process::executor;
5908334c51SBrooks Davis namespace fs = utils::fs;
6008334c51SBrooks Davis namespace process = utils::process;
6108334c51SBrooks Davis 
6208334c51SBrooks Davis using utils::none;
6308334c51SBrooks Davis using utils::optional;
6408334c51SBrooks Davis 
6508334c51SBrooks Davis 
6608334c51SBrooks Davis namespace {
6708334c51SBrooks Davis 
6808334c51SBrooks Davis 
6908334c51SBrooks Davis /// Functor to execute a binary in a subprocess.
7008334c51SBrooks Davis ///
7108334c51SBrooks Davis /// The provided binary is copied to the current work directory before being
7208334c51SBrooks Davis /// executed and the copy is given the name chosen by the user.  The copy is
7308334c51SBrooks Davis /// necessary so that we have a deterministic location for where core files may
7408334c51SBrooks Davis /// be dumped (if they happen to be dumped in the current directory).
7508334c51SBrooks Davis class crash_me {
7608334c51SBrooks Davis     /// Path to the binary to execute.
7708334c51SBrooks Davis     const fs::path _binary;
7808334c51SBrooks Davis 
7908334c51SBrooks Davis     /// Name of the binary after being copied.
8008334c51SBrooks Davis     const fs::path _copy_name;
8108334c51SBrooks Davis 
8208334c51SBrooks Davis public:
8308334c51SBrooks Davis     /// Constructor.
8408334c51SBrooks Davis     ///
8508334c51SBrooks Davis     /// \param binary_ Path to binary to execute.
8608334c51SBrooks Davis     /// \param copy_name_ Name of the binary after being copied.  If empty,
8708334c51SBrooks Davis     ///     use the leaf name of binary_.
crash_me(const fs::path & binary_,const std::string & copy_name_="")8808334c51SBrooks Davis     explicit crash_me(const fs::path& binary_,
8908334c51SBrooks Davis                       const std::string& copy_name_ = "") :
9008334c51SBrooks Davis         _binary(binary_),
9108334c51SBrooks Davis         _copy_name(copy_name_.empty() ? binary_.leaf_name() : copy_name_)
9208334c51SBrooks Davis     {
9308334c51SBrooks Davis     }
9408334c51SBrooks Davis 
9508334c51SBrooks Davis     /// Runs the binary.
9608334c51SBrooks Davis     void
operator ()(void) const9708334c51SBrooks Davis     operator()(void) const UTILS_NORETURN
9808334c51SBrooks Davis     {
9908334c51SBrooks Davis         atf::utils::copy_file(_binary.str(), _copy_name.str());
10008334c51SBrooks Davis 
10108334c51SBrooks Davis         const std::vector< std::string > args;
10208334c51SBrooks Davis         process::exec(_copy_name, args);
10308334c51SBrooks Davis     }
10408334c51SBrooks Davis 
10508334c51SBrooks Davis     /// Runs the binary.
10608334c51SBrooks Davis     ///
10708334c51SBrooks Davis     /// This interface is exposed to support passing crash_me to the executor.
10808334c51SBrooks Davis     void
operator ()(const fs::path &) const10908334c51SBrooks Davis     operator()(const fs::path& /* control_directory */) const
11008334c51SBrooks Davis         UTILS_NORETURN
11108334c51SBrooks Davis     {
11208334c51SBrooks Davis         (*this)();  // Delegate to ensure the two entry points remain in sync.
11308334c51SBrooks Davis     }
11408334c51SBrooks Davis };
11508334c51SBrooks Davis 
11608334c51SBrooks Davis 
11708334c51SBrooks Davis static void child_exit(const fs::path&) UTILS_NORETURN;
11808334c51SBrooks Davis 
11908334c51SBrooks Davis 
12008334c51SBrooks Davis /// Subprocess that exits cleanly.
12108334c51SBrooks Davis static void
child_exit(const fs::path &)12208334c51SBrooks Davis child_exit(const fs::path& /* control_directory */)
12308334c51SBrooks Davis {
12408334c51SBrooks Davis     ::_exit(EXIT_SUCCESS);
12508334c51SBrooks Davis }
12608334c51SBrooks Davis 
12708334c51SBrooks Davis 
12808334c51SBrooks Davis static void child_pause(const fs::path&) UTILS_NORETURN;
12908334c51SBrooks Davis 
13008334c51SBrooks Davis 
13108334c51SBrooks Davis /// Subprocess that just blocks.
13208334c51SBrooks Davis static void
child_pause(const fs::path &)13308334c51SBrooks Davis child_pause(const fs::path& /* control_directory */)
13408334c51SBrooks Davis {
13508334c51SBrooks Davis     sigset_t mask;
13608334c51SBrooks Davis     sigemptyset(&mask);
13708334c51SBrooks Davis     for (;;) {
13808334c51SBrooks Davis         ::sigsuspend(&mask);
13908334c51SBrooks Davis     }
14008334c51SBrooks Davis     std::abort();
14108334c51SBrooks Davis }
14208334c51SBrooks Davis 
14308334c51SBrooks Davis 
14408334c51SBrooks Davis /// Generates a core dump, if possible.
14508334c51SBrooks Davis ///
14608334c51SBrooks Davis /// \post If this fails to generate a core file, the test case is marked as
14708334c51SBrooks Davis /// skipped.  The caller can rely on this when attempting further checks on the
14808334c51SBrooks Davis /// core dump by assuming that the core dump exists somewhere.
14908334c51SBrooks Davis ///
15008334c51SBrooks Davis /// \param test_case Pointer to the caller test case, needed to obtain the path
15108334c51SBrooks Davis ///     to the source directory.
15208334c51SBrooks Davis /// \param base_name Name of the binary to execute, which will be a copy of a
15308334c51SBrooks Davis ///     helper binary that always crashes.  This name should later be part of
15408334c51SBrooks Davis ///     the core filename.
15508334c51SBrooks Davis ///
15608334c51SBrooks Davis /// \return The status of the crashed binary.
15708334c51SBrooks Davis static process::status
generate_core(const atf::tests::tc * test_case,const char * base_name)15808334c51SBrooks Davis generate_core(const atf::tests::tc* test_case, const char* base_name)
15908334c51SBrooks Davis {
16008334c51SBrooks Davis     utils::prepare_coredump_test(test_case);
16108334c51SBrooks Davis 
16208334c51SBrooks Davis     const fs::path helper = fs::path(test_case->get_config_var("srcdir")) /
16308334c51SBrooks Davis         "stacktrace_helper";
16408334c51SBrooks Davis 
16508334c51SBrooks Davis     const process::status status = process::child::fork_files(
16608334c51SBrooks Davis         crash_me(helper, base_name),
16708334c51SBrooks Davis         fs::path("unused.out"), fs::path("unused.err"))->wait();
16808334c51SBrooks Davis     ATF_REQUIRE(status.signaled());
16908334c51SBrooks Davis     if (!status.coredump())
17008334c51SBrooks Davis         ATF_SKIP("Test failed to generate core dump");
17108334c51SBrooks Davis     return status;
17208334c51SBrooks Davis }
17308334c51SBrooks Davis 
17408334c51SBrooks Davis 
17508334c51SBrooks Davis /// Generates a core dump, if possible.
17608334c51SBrooks Davis ///
17708334c51SBrooks Davis /// \post If this fails to generate a core file, the test case is marked as
17808334c51SBrooks Davis /// skipped.  The caller can rely on this when attempting further checks on the
17908334c51SBrooks Davis /// core dump by assuming that the core dump exists somewhere.
18008334c51SBrooks Davis ///
18108334c51SBrooks Davis /// \param test_case Pointer to the caller test case, needed to obtain the path
18208334c51SBrooks Davis ///     to the source directory.
18308334c51SBrooks Davis /// \param base_name Name of the binary to execute, which will be a copy of a
18408334c51SBrooks Davis ///     helper binary that always crashes.  This name should later be part of
18508334c51SBrooks Davis ///     the core filename.
18608334c51SBrooks Davis /// \param executor_handle Executor to use to generate the core dump.
18708334c51SBrooks Davis ///
18808334c51SBrooks Davis /// \return The exit handle of the subprocess so that a stacktrace can be
18908334c51SBrooks Davis /// executed reusing this context later on.
19008334c51SBrooks Davis static executor::exit_handle
generate_core(const atf::tests::tc * test_case,const char * base_name,executor::executor_handle & executor_handle)19108334c51SBrooks Davis generate_core(const atf::tests::tc* test_case, const char* base_name,
19208334c51SBrooks Davis               executor::executor_handle& executor_handle)
19308334c51SBrooks Davis {
19408334c51SBrooks Davis     utils::prepare_coredump_test(test_case);
19508334c51SBrooks Davis 
19608334c51SBrooks Davis     const fs::path helper = fs::path(test_case->get_config_var("srcdir")) /
19708334c51SBrooks Davis         "stacktrace_helper";
19808334c51SBrooks Davis 
19908334c51SBrooks Davis     const executor::exec_handle exec_handle = executor_handle.spawn(
20008334c51SBrooks Davis         crash_me(helper, base_name), datetime::delta(60, 0), none, none, none);
20108334c51SBrooks Davis     const executor::exit_handle exit_handle = executor_handle.wait(exec_handle);
20208334c51SBrooks Davis 
20308334c51SBrooks Davis     if (!exit_handle.status())
20408334c51SBrooks Davis         ATF_SKIP("Test failed to generate core dump (timed out)");
20508334c51SBrooks Davis     const process::status& status = exit_handle.status().get();
20608334c51SBrooks Davis     ATF_REQUIRE(status.signaled());
20708334c51SBrooks Davis     if (!status.coredump())
20808334c51SBrooks Davis         ATF_SKIP("Test failed to generate core dump");
20908334c51SBrooks Davis 
21008334c51SBrooks Davis     return exit_handle;
21108334c51SBrooks Davis }
21208334c51SBrooks Davis 
21308334c51SBrooks Davis 
21408334c51SBrooks Davis /// Creates a script.
21508334c51SBrooks Davis ///
21608334c51SBrooks Davis /// \param script Path to the script to create.
21708334c51SBrooks Davis /// \param contents Contents of the script.
21808334c51SBrooks Davis static void
create_script(const char * script,const std::string & contents)21908334c51SBrooks Davis create_script(const char* script, const std::string& contents)
22008334c51SBrooks Davis {
22108334c51SBrooks Davis     atf::utils::create_file(script, "#! /bin/sh\n\n" + contents);
22208334c51SBrooks Davis     ATF_REQUIRE(::chmod(script, 0755) != -1);
22308334c51SBrooks Davis }
22408334c51SBrooks Davis 
22508334c51SBrooks Davis 
22608334c51SBrooks Davis }  // anonymous namespace
22708334c51SBrooks Davis 
22808334c51SBrooks Davis 
22908334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(unlimit_core_size);
ATF_TEST_CASE_BODY(unlimit_core_size)23008334c51SBrooks Davis ATF_TEST_CASE_BODY(unlimit_core_size)
23108334c51SBrooks Davis {
23208334c51SBrooks Davis     utils::require_run_coredump_tests(this);
23308334c51SBrooks Davis 
23408334c51SBrooks Davis     struct rlimit rl;
23508334c51SBrooks Davis     rl.rlim_cur = 0;
23608334c51SBrooks Davis     rl.rlim_max = RLIM_INFINITY;
23708334c51SBrooks Davis     if (::setrlimit(RLIMIT_CORE, &rl) == -1)
23808334c51SBrooks Davis         skip("Failed to lower the core size limit");
23908334c51SBrooks Davis 
24008334c51SBrooks Davis     ATF_REQUIRE(utils::unlimit_core_size());
24108334c51SBrooks Davis 
24208334c51SBrooks Davis     const fs::path helper = fs::path(get_config_var("srcdir")) /
24308334c51SBrooks Davis         "stacktrace_helper";
24408334c51SBrooks Davis     const process::status status = process::child::fork_files(
24508334c51SBrooks Davis         crash_me(helper),
24608334c51SBrooks Davis         fs::path("unused.out"), fs::path("unused.err"))->wait();
24708334c51SBrooks Davis     ATF_REQUIRE(status.signaled());
24808334c51SBrooks Davis     if (!status.coredump())
24908334c51SBrooks Davis         fail("Core not dumped as expected");
25008334c51SBrooks Davis }
25108334c51SBrooks Davis 
25208334c51SBrooks Davis 
25308334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(unlimit_core_size__hard_is_zero);
ATF_TEST_CASE_BODY(unlimit_core_size__hard_is_zero)25408334c51SBrooks Davis ATF_TEST_CASE_BODY(unlimit_core_size__hard_is_zero)
25508334c51SBrooks Davis {
25608334c51SBrooks Davis     utils::require_run_coredump_tests(this);
25708334c51SBrooks Davis 
25808334c51SBrooks Davis     struct rlimit rl;
25908334c51SBrooks Davis     rl.rlim_cur = 0;
26008334c51SBrooks Davis     rl.rlim_max = 0;
26108334c51SBrooks Davis     if (::setrlimit(RLIMIT_CORE, &rl) == -1)
26208334c51SBrooks Davis         skip("Failed to lower the core size limit");
26308334c51SBrooks Davis 
26408334c51SBrooks Davis     ATF_REQUIRE(!utils::unlimit_core_size());
26508334c51SBrooks Davis 
26608334c51SBrooks Davis     const fs::path helper = fs::path(get_config_var("srcdir")) /
26708334c51SBrooks Davis         "stacktrace_helper";
26808334c51SBrooks Davis     const process::status status = process::child::fork_files(
26908334c51SBrooks Davis         crash_me(helper),
27008334c51SBrooks Davis         fs::path("unused.out"), fs::path("unused.err"))->wait();
27108334c51SBrooks Davis     ATF_REQUIRE(status.signaled());
27208334c51SBrooks Davis     ATF_REQUIRE(!status.coredump());
27308334c51SBrooks Davis }
27408334c51SBrooks Davis 
27508334c51SBrooks Davis 
27608334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_gdb__use_builtin);
ATF_TEST_CASE_BODY(find_gdb__use_builtin)27708334c51SBrooks Davis ATF_TEST_CASE_BODY(find_gdb__use_builtin)
27808334c51SBrooks Davis {
27908334c51SBrooks Davis     utils::builtin_gdb = "/path/to/gdb";
28008334c51SBrooks Davis     optional< fs::path > gdb = utils::find_gdb();
28108334c51SBrooks Davis     ATF_REQUIRE(gdb);
28208334c51SBrooks Davis     ATF_REQUIRE_EQ("/path/to/gdb", gdb.get().str());
28308334c51SBrooks Davis }
28408334c51SBrooks Davis 
28508334c51SBrooks Davis 
28608334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_gdb__search_builtin__ok);
ATF_TEST_CASE_BODY(find_gdb__search_builtin__ok)28708334c51SBrooks Davis ATF_TEST_CASE_BODY(find_gdb__search_builtin__ok)
28808334c51SBrooks Davis {
28908334c51SBrooks Davis     atf::utils::create_file("custom-name", "");
29008334c51SBrooks Davis     ATF_REQUIRE(::chmod("custom-name", 0755) != -1);
29108334c51SBrooks Davis     const fs::path exp_gdb = fs::path("custom-name").to_absolute();
29208334c51SBrooks Davis 
29308334c51SBrooks Davis     utils::setenv("PATH", "/non-existent/location:.:/bin");
29408334c51SBrooks Davis 
29508334c51SBrooks Davis     utils::builtin_gdb = "custom-name";
29608334c51SBrooks Davis     optional< fs::path > gdb = utils::find_gdb();
29708334c51SBrooks Davis     ATF_REQUIRE(gdb);
29808334c51SBrooks Davis     ATF_REQUIRE_EQ(exp_gdb, gdb.get());
29908334c51SBrooks Davis }
30008334c51SBrooks Davis 
30108334c51SBrooks Davis 
30208334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_gdb__search_builtin__fail);
ATF_TEST_CASE_BODY(find_gdb__search_builtin__fail)30308334c51SBrooks Davis ATF_TEST_CASE_BODY(find_gdb__search_builtin__fail)
30408334c51SBrooks Davis {
30508334c51SBrooks Davis     utils::setenv("PATH", ".");
30608334c51SBrooks Davis     utils::builtin_gdb = "foo";
30708334c51SBrooks Davis     optional< fs::path > gdb = utils::find_gdb();
30808334c51SBrooks Davis     ATF_REQUIRE(!gdb);
30908334c51SBrooks Davis }
31008334c51SBrooks Davis 
31108334c51SBrooks Davis 
31208334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_gdb__bogus_value);
ATF_TEST_CASE_BODY(find_gdb__bogus_value)31308334c51SBrooks Davis ATF_TEST_CASE_BODY(find_gdb__bogus_value)
31408334c51SBrooks Davis {
31508334c51SBrooks Davis     utils::builtin_gdb = "";
31608334c51SBrooks Davis     optional< fs::path > gdb = utils::find_gdb();
31708334c51SBrooks Davis     ATF_REQUIRE(!gdb);
31808334c51SBrooks Davis }
31908334c51SBrooks Davis 
32008334c51SBrooks Davis 
32108334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_core__found__short);
ATF_TEST_CASE_BODY(find_core__found__short)32208334c51SBrooks Davis ATF_TEST_CASE_BODY(find_core__found__short)
32308334c51SBrooks Davis {
32408334c51SBrooks Davis     const process::status status = generate_core(this, "short");
32508334c51SBrooks Davis     INV(status.coredump());
32608334c51SBrooks Davis     const optional< fs::path > core_name = utils::find_core(
32708334c51SBrooks Davis         fs::path("short"), status, fs::path("."));
32808334c51SBrooks Davis     if (!core_name)
32908334c51SBrooks Davis         fail("Core dumped, but no candidates found");
33008334c51SBrooks Davis     ATF_REQUIRE(core_name.get().str().find("core") != std::string::npos);
33108334c51SBrooks Davis     ATF_REQUIRE(fs::exists(core_name.get()));
33208334c51SBrooks Davis }
33308334c51SBrooks Davis 
33408334c51SBrooks Davis 
33508334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_core__found__long);
ATF_TEST_CASE_BODY(find_core__found__long)33608334c51SBrooks Davis ATF_TEST_CASE_BODY(find_core__found__long)
33708334c51SBrooks Davis {
33808334c51SBrooks Davis     const process::status status = generate_core(
33908334c51SBrooks Davis         this, "long-name-that-may-be-truncated-in-some-systems");
34008334c51SBrooks Davis     INV(status.coredump());
34108334c51SBrooks Davis     const optional< fs::path > core_name = utils::find_core(
34208334c51SBrooks Davis         fs::path("long-name-that-may-be-truncated-in-some-systems"),
34308334c51SBrooks Davis         status, fs::path("."));
34408334c51SBrooks Davis     if (!core_name)
34508334c51SBrooks Davis         fail("Core dumped, but no candidates found");
34608334c51SBrooks Davis     ATF_REQUIRE(core_name.get().str().find("core") != std::string::npos);
34708334c51SBrooks Davis     ATF_REQUIRE(fs::exists(core_name.get()));
34808334c51SBrooks Davis }
34908334c51SBrooks Davis 
35008334c51SBrooks Davis 
35108334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_core__not_found);
ATF_TEST_CASE_BODY(find_core__not_found)35208334c51SBrooks Davis ATF_TEST_CASE_BODY(find_core__not_found)
35308334c51SBrooks Davis {
35408334c51SBrooks Davis     const process::status status = process::status::fake_signaled(SIGILL, true);
35508334c51SBrooks Davis     const optional< fs::path > core_name = utils::find_core(
35608334c51SBrooks Davis         fs::path("missing"), status, fs::path("."));
35708334c51SBrooks Davis     if (core_name)
35808334c51SBrooks Davis         fail("Core not dumped, but candidate found: " + core_name.get().str());
35908334c51SBrooks Davis }
36008334c51SBrooks Davis 
36108334c51SBrooks Davis 
36208334c51SBrooks Davis ATF_TEST_CASE(dump_stacktrace__integration);
ATF_TEST_CASE_HEAD(dump_stacktrace__integration)36308334c51SBrooks Davis ATF_TEST_CASE_HEAD(dump_stacktrace__integration)
36408334c51SBrooks Davis {
36508334c51SBrooks Davis     set_md_var("require.progs", utils::builtin_gdb);
36608334c51SBrooks Davis }
ATF_TEST_CASE_BODY(dump_stacktrace__integration)36708334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__integration)
36808334c51SBrooks Davis {
36908334c51SBrooks Davis     executor::executor_handle handle = executor::setup();
37008334c51SBrooks Davis 
37108334c51SBrooks Davis     executor::exit_handle exit_handle = generate_core(this, "short", handle);
37208334c51SBrooks Davis     INV(exit_handle.status());
37308334c51SBrooks Davis     INV(exit_handle.status().get().coredump());
37408334c51SBrooks Davis 
37508334c51SBrooks Davis     std::ostringstream output;
37608334c51SBrooks Davis     utils::dump_stacktrace(fs::path("short"), handle, exit_handle);
37708334c51SBrooks Davis 
37808334c51SBrooks Davis     // It is hard to validate the execution of an arbitrary GDB of which we do
37908334c51SBrooks Davis     // not know anything.  Just assume that the backtrace, at the very least,
38008334c51SBrooks Davis     // prints a couple of frame identifiers.
38108334c51SBrooks Davis     ATF_REQUIRE(!atf::utils::grep_file("#0", exit_handle.stdout_file().str()));
38208334c51SBrooks Davis     ATF_REQUIRE( atf::utils::grep_file("#0", exit_handle.stderr_file().str()));
38308334c51SBrooks Davis     ATF_REQUIRE(!atf::utils::grep_file("#1", exit_handle.stdout_file().str()));
38408334c51SBrooks Davis     ATF_REQUIRE( atf::utils::grep_file("#1", exit_handle.stderr_file().str()));
38508334c51SBrooks Davis 
38608334c51SBrooks Davis     exit_handle.cleanup();
38708334c51SBrooks Davis     handle.cleanup();
38808334c51SBrooks Davis }
38908334c51SBrooks Davis 
39008334c51SBrooks Davis 
39108334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace__ok);
ATF_TEST_CASE_BODY(dump_stacktrace__ok)39208334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__ok)
39308334c51SBrooks Davis {
39408334c51SBrooks Davis     utils::setenv("PATH", ".");
39508334c51SBrooks Davis     create_script("fake-gdb", "echo 'frame 1'; echo 'frame 2'; "
39608334c51SBrooks Davis                   "echo 'some warning' 1>&2; exit 0");
39708334c51SBrooks Davis     utils::builtin_gdb = "fake-gdb";
39808334c51SBrooks Davis 
39908334c51SBrooks Davis     executor::executor_handle handle = executor::setup();
40008334c51SBrooks Davis     executor::exit_handle exit_handle = generate_core(this, "short", handle);
40108334c51SBrooks Davis     INV(exit_handle.status());
40208334c51SBrooks Davis     INV(exit_handle.status().get().coredump());
40308334c51SBrooks Davis 
40408334c51SBrooks Davis     utils::dump_stacktrace(fs::path("short"), handle, exit_handle);
40508334c51SBrooks Davis 
40608334c51SBrooks Davis     // Note how all output is expected on stderr even for the messages that the
40708334c51SBrooks Davis     // script decided to send to stdout.
40808334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("exited with signal [0-9]* and dumped",
40908334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
41008334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("^frame 1$",
41108334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
41208334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("^frame 2$",
41308334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
41408334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("^some warning$",
41508334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
41608334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("GDB exited successfully",
41708334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
41808334c51SBrooks Davis 
41908334c51SBrooks Davis     exit_handle.cleanup();
42008334c51SBrooks Davis     handle.cleanup();
42108334c51SBrooks Davis }
42208334c51SBrooks Davis 
42308334c51SBrooks Davis 
42408334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace__cannot_find_core);
ATF_TEST_CASE_BODY(dump_stacktrace__cannot_find_core)42508334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__cannot_find_core)
42608334c51SBrooks Davis {
42708334c51SBrooks Davis     // Make sure we can find a GDB binary so that we don't fail the test for
42808334c51SBrooks Davis     // the wrong reason.
42908334c51SBrooks Davis     utils::setenv("PATH", ".");
43008334c51SBrooks Davis     utils::builtin_gdb = "fake-gdb";
43108334c51SBrooks Davis     atf::utils::create_file("fake-gdb", "unused");
43208334c51SBrooks Davis 
43308334c51SBrooks Davis     executor::executor_handle handle = executor::setup();
43408334c51SBrooks Davis     executor::exit_handle exit_handle = generate_core(this, "short", handle);
43508334c51SBrooks Davis 
43608334c51SBrooks Davis     const optional< fs::path > core_name = utils::find_core(
43708334c51SBrooks Davis         fs::path("short"),
43808334c51SBrooks Davis         exit_handle.status().get(),
43908334c51SBrooks Davis         exit_handle.work_directory());
44008334c51SBrooks Davis     if (core_name) {
44108334c51SBrooks Davis         // This is needed even if we provide a different basename to
44208334c51SBrooks Davis         // dump_stacktrace below because the system policies may be generating
44308334c51SBrooks Davis         // core dumps by PID, not binary name.
44408334c51SBrooks Davis         std::cout << "Removing core dump: " << core_name << '\n';
44508334c51SBrooks Davis         fs::unlink(core_name.get());
44608334c51SBrooks Davis     }
44708334c51SBrooks Davis 
44808334c51SBrooks Davis     utils::dump_stacktrace(fs::path("fake"), handle, exit_handle);
44908334c51SBrooks Davis 
45008334c51SBrooks Davis     atf::utils::cat_file(exit_handle.stdout_file().str(), "stdout: ");
45108334c51SBrooks Davis     atf::utils::cat_file(exit_handle.stderr_file().str(), "stderr: ");
45208334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("Cannot find any core file",
45308334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
45408334c51SBrooks Davis 
45508334c51SBrooks Davis     exit_handle.cleanup();
45608334c51SBrooks Davis     handle.cleanup();
45708334c51SBrooks Davis }
45808334c51SBrooks Davis 
45908334c51SBrooks Davis 
46008334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace__cannot_find_gdb);
ATF_TEST_CASE_BODY(dump_stacktrace__cannot_find_gdb)46108334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__cannot_find_gdb)
46208334c51SBrooks Davis {
46308334c51SBrooks Davis     utils::setenv("PATH", ".");
46408334c51SBrooks Davis     utils::builtin_gdb = "missing-gdb";
46508334c51SBrooks Davis 
46608334c51SBrooks Davis     executor::executor_handle handle = executor::setup();
46708334c51SBrooks Davis     executor::exit_handle exit_handle = generate_core(this, "short", handle);
46808334c51SBrooks Davis 
46908334c51SBrooks Davis     utils::dump_stacktrace(fs::path("fake"), handle, exit_handle);
47008334c51SBrooks Davis 
47108334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file(
47208334c51SBrooks Davis                     "Cannot find GDB binary; builtin was 'missing-gdb'",
47308334c51SBrooks Davis                     exit_handle.stderr_file().str()));
47408334c51SBrooks Davis 
47508334c51SBrooks Davis     exit_handle.cleanup();
47608334c51SBrooks Davis     handle.cleanup();
47708334c51SBrooks Davis }
47808334c51SBrooks Davis 
47908334c51SBrooks Davis 
48008334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace__gdb_fail);
ATF_TEST_CASE_BODY(dump_stacktrace__gdb_fail)48108334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__gdb_fail)
48208334c51SBrooks Davis {
48308334c51SBrooks Davis     utils::setenv("PATH", ".");
48408334c51SBrooks Davis     create_script("fake-gdb", "echo 'foo'; echo 'bar' 1>&2; exit 1");
48508334c51SBrooks Davis     const std::string gdb = (fs::current_path() / "fake-gdb").str();
48608334c51SBrooks Davis     utils::builtin_gdb = gdb.c_str();
48708334c51SBrooks Davis 
48808334c51SBrooks Davis     executor::executor_handle handle = executor::setup();
48908334c51SBrooks Davis     executor::exit_handle exit_handle = generate_core(this, "short", handle);
49008334c51SBrooks Davis 
49108334c51SBrooks Davis     atf::utils::create_file((exit_handle.work_directory() / "fake.core").str(),
49208334c51SBrooks Davis                             "Invalid core file, but not read");
49308334c51SBrooks Davis     utils::dump_stacktrace(fs::path("fake"), handle, exit_handle);
49408334c51SBrooks Davis 
49508334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("^foo$",
49608334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
49708334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("^bar$",
49808334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
49908334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("GDB failed; see output above",
50008334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
50108334c51SBrooks Davis 
50208334c51SBrooks Davis     exit_handle.cleanup();
50308334c51SBrooks Davis     handle.cleanup();
50408334c51SBrooks Davis }
50508334c51SBrooks Davis 
50608334c51SBrooks Davis 
50708334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace__gdb_timeout);
ATF_TEST_CASE_BODY(dump_stacktrace__gdb_timeout)50808334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__gdb_timeout)
50908334c51SBrooks Davis {
51008334c51SBrooks Davis     utils::setenv("PATH", ".");
51108334c51SBrooks Davis     create_script("fake-gdb", "while :; do sleep 1; done");
51208334c51SBrooks Davis     const std::string gdb = (fs::current_path() / "fake-gdb").str();
51308334c51SBrooks Davis     utils::builtin_gdb = gdb.c_str();
51408334c51SBrooks Davis     utils::gdb_timeout = datetime::delta(1, 0);
51508334c51SBrooks Davis 
51608334c51SBrooks Davis     executor::executor_handle handle = executor::setup();
51708334c51SBrooks Davis     executor::exit_handle exit_handle = generate_core(this, "short", handle);
51808334c51SBrooks Davis 
51908334c51SBrooks Davis     atf::utils::create_file((exit_handle.work_directory() / "fake.core").str(),
52008334c51SBrooks Davis                             "Invalid core file, but not read");
52108334c51SBrooks Davis     utils::dump_stacktrace(fs::path("fake"), handle, exit_handle);
52208334c51SBrooks Davis 
52308334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("GDB timed out",
52408334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
52508334c51SBrooks Davis 
52608334c51SBrooks Davis     exit_handle.cleanup();
52708334c51SBrooks Davis     handle.cleanup();
52808334c51SBrooks Davis }
52908334c51SBrooks Davis 
53008334c51SBrooks Davis 
53108334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace_if_available__append);
ATF_TEST_CASE_BODY(dump_stacktrace_if_available__append)53208334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace_if_available__append)
53308334c51SBrooks Davis {
53408334c51SBrooks Davis     utils::setenv("PATH", ".");
53508334c51SBrooks Davis     create_script("fake-gdb", "echo 'frame 1'; exit 0");
53608334c51SBrooks Davis     utils::builtin_gdb = "fake-gdb";
53708334c51SBrooks Davis 
53808334c51SBrooks Davis     executor::executor_handle handle = executor::setup();
53908334c51SBrooks Davis     executor::exit_handle exit_handle = generate_core(this, "short", handle);
54008334c51SBrooks Davis 
54108334c51SBrooks Davis     atf::utils::create_file(exit_handle.stdout_file().str(), "Pre-stdout");
54208334c51SBrooks Davis     atf::utils::create_file(exit_handle.stderr_file().str(), "Pre-stderr");
54308334c51SBrooks Davis 
54408334c51SBrooks Davis     utils::dump_stacktrace_if_available(fs::path("short"), handle, exit_handle);
54508334c51SBrooks Davis 
54608334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("Pre-stdout",
54708334c51SBrooks Davis                                       exit_handle.stdout_file().str()));
54808334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("Pre-stderr",
54908334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
55008334c51SBrooks Davis     ATF_REQUIRE(atf::utils::grep_file("frame 1",
55108334c51SBrooks Davis                                       exit_handle.stderr_file().str()));
55208334c51SBrooks Davis 
55308334c51SBrooks Davis     exit_handle.cleanup();
55408334c51SBrooks Davis     handle.cleanup();
55508334c51SBrooks Davis }
55608334c51SBrooks Davis 
55708334c51SBrooks Davis 
55808334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace_if_available__no_status);
ATF_TEST_CASE_BODY(dump_stacktrace_if_available__no_status)55908334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace_if_available__no_status)
56008334c51SBrooks Davis {
56108334c51SBrooks Davis     executor::executor_handle handle = executor::setup();
56208334c51SBrooks Davis     const executor::exec_handle exec_handle = handle.spawn(
56308334c51SBrooks Davis         child_pause, datetime::delta(0, 100000), none, none, none);
56408334c51SBrooks Davis     executor::exit_handle exit_handle = handle.wait(exec_handle);
56508334c51SBrooks Davis     INV(!exit_handle.status());
56608334c51SBrooks Davis 
56708334c51SBrooks Davis     utils::dump_stacktrace_if_available(fs::path("short"), handle, exit_handle);
56808334c51SBrooks Davis     ATF_REQUIRE(atf::utils::compare_file(exit_handle.stdout_file().str(), ""));
56908334c51SBrooks Davis     ATF_REQUIRE(atf::utils::compare_file(exit_handle.stderr_file().str(), ""));
57008334c51SBrooks Davis 
57108334c51SBrooks Davis     exit_handle.cleanup();
57208334c51SBrooks Davis     handle.cleanup();
57308334c51SBrooks Davis }
57408334c51SBrooks Davis 
57508334c51SBrooks Davis 
57608334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace_if_available__no_coredump);
ATF_TEST_CASE_BODY(dump_stacktrace_if_available__no_coredump)57708334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace_if_available__no_coredump)
57808334c51SBrooks Davis {
57908334c51SBrooks Davis     executor::executor_handle handle = executor::setup();
58008334c51SBrooks Davis     const executor::exec_handle exec_handle = handle.spawn(
58108334c51SBrooks Davis         child_exit, datetime::delta(60, 0), none, none, none);
58208334c51SBrooks Davis     executor::exit_handle exit_handle = handle.wait(exec_handle);
58308334c51SBrooks Davis     INV(exit_handle.status());
58408334c51SBrooks Davis     INV(exit_handle.status().get().exited());
58508334c51SBrooks Davis     INV(exit_handle.status().get().exitstatus() == EXIT_SUCCESS);
58608334c51SBrooks Davis 
58708334c51SBrooks Davis     utils::dump_stacktrace_if_available(fs::path("short"), handle, exit_handle);
58808334c51SBrooks Davis     ATF_REQUIRE(atf::utils::compare_file(exit_handle.stdout_file().str(), ""));
58908334c51SBrooks Davis     ATF_REQUIRE(atf::utils::compare_file(exit_handle.stderr_file().str(), ""));
59008334c51SBrooks Davis 
59108334c51SBrooks Davis     exit_handle.cleanup();
59208334c51SBrooks Davis     handle.cleanup();
59308334c51SBrooks Davis }
59408334c51SBrooks Davis 
59508334c51SBrooks Davis 
ATF_INIT_TEST_CASES(tcs)59608334c51SBrooks Davis ATF_INIT_TEST_CASES(tcs)
59708334c51SBrooks Davis {
59808334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, unlimit_core_size);
59908334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, unlimit_core_size__hard_is_zero);
60008334c51SBrooks Davis 
60108334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, find_gdb__use_builtin);
60208334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, find_gdb__search_builtin__ok);
60308334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, find_gdb__search_builtin__fail);
60408334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, find_gdb__bogus_value);
60508334c51SBrooks Davis 
60608334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, find_core__found__short);
60708334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, find_core__found__long);
60808334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, find_core__not_found);
60908334c51SBrooks Davis 
61008334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, dump_stacktrace__integration);
61108334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, dump_stacktrace__ok);
61208334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, dump_stacktrace__cannot_find_core);
61308334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, dump_stacktrace__cannot_find_gdb);
61408334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, dump_stacktrace__gdb_fail);
61508334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, dump_stacktrace__gdb_timeout);
61608334c51SBrooks Davis 
61708334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, dump_stacktrace_if_available__append);
61808334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, dump_stacktrace_if_available__no_status);
61908334c51SBrooks Davis     ATF_ADD_TEST_CASE(tcs, dump_stacktrace_if_available__no_coredump);
62008334c51SBrooks Davis }
621