replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add empty lines in gdb_api.cpp to improve readability

This commit is contained in:
Daniel Poetzl 2019-01-28 19:04:37 +00:00
parent 58f6d116d9
commit 5c518e70ac
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/memory-analyzer/gdb_api.cpp
View File

@ -18,6 +18,7 @@ Author: Malte Mues <mail.mues@gmail.com>
#include <regex>
#include "gdb_api.h"
#include <goto-programs/goto_model.h>
#include <util/string_utils.h>
@ -48,25 +49,31 @@ void gdb_apit::create_gdb_process()
{
throw gdb_interaction_exceptiont("could not create pipe for stdin");
}
if(pipe(pipe_output) == -1)
{
throw gdb_interaction_exceptiont("could not create pipe for stdout");
}
gdb_process = fork();
if(gdb_process == -1)
{
throw gdb_interaction_exceptiont("could not create gdb process");
}
if(gdb_process == 0)
{
// child process
close(pipe_input[1]);
close(pipe_output[0]);
dup2(pipe_input[0], STDIN_FILENO);
dup2(pipe_output[1], STDOUT_FILENO);
dup2(pipe_output[1], STDERR_FILENO);
dprintf(pipe_output[1], "binary name: %s\n", binary);
char *arg[] = {const_cast<char *>("gdb"),
const_cast<char *>("--interpreter=mi"),
const_cast<char *>(binary),