cprover
|
#include "run.h"
#include <cstring>
#include <unistd.h>
#include <cerrno>
#include <cstdio>
#include <cstdlib>
#include <sys/wait.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <signal.h>
#include <util/invariant.h>
#include <util/unicode.h>
#include <util/signal_catcher.h>
Go to the source code of this file.
Functions | |
int | run_shell (const std::string &command) |
static int | stdio_redirection (int fd, const std::string &file) |
open given file to replace either stdin, stderr, stdout More... | |
int | run (const std::string &what, const std::vector< std::string > &argv, const std::string &std_input, const std::string &std_output, const std::string &std_error) |
int run | ( | const std::string & | what, |
const std::vector< std::string > & | argv, | ||
const std::string & | std_input, | ||
const std::string & | std_output, | ||
const std::string & | std_error | ||
) |
Definition at line 82 of file run.cpp.
References PRECONDITION, remove_signal_catcher(), stdio_redirection(), and widen().
Referenced by as_modet::as_hybrid_binary(), gcc_versiont::get(), linker_script_merget::get_linker_script_data(), hybrid_binary(), gcc_modet::preprocess(), as_modet::run_as(), gcc_modet::run_gcc(), ld_modet::run_ld(), and run_shell().
int run_shell | ( | const std::string & | command | ) |