A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model-checker : abort if popen failed
[simgrid.git]
/
src
/
mc
/
mc_global.c
diff --git
a/src/mc/mc_global.c
b/src/mc/mc_global.c
index
ae9f437
..
edc9339
100644
(file)
--- a/
src/mc/mc_global.c
+++ b/
src/mc/mc_global.c
@@
-913,8
+913,10
@@
xbt_dict_t MC_get_location_list(const char *elf_file){
FILE *fp = popen(command, "r");
FILE *fp = popen(command, "r");
- if(fp == NULL)
+ if(fp == NULL)
{
perror("popen for objdump failed");
perror("popen for objdump failed");
+ xbt_abort();
+ }
int debug = 0; /*Detect if the program has been compiled with -g */
int debug = 0; /*Detect if the program has been compiled with -g */
@@
-1013,8
+1015,11
@@
char *get_libsimgrid_path(){
char *command = bprintf("ldd %s", xbt_binary_name);
FILE *fp = popen(command, "r");
char *command = bprintf("ldd %s", xbt_binary_name);
FILE *fp = popen(command, "r");
- if(fp == NULL)
+
+ if(fp == NULL){
perror("popen for ldd failed");
perror("popen for ldd failed");
+ xbt_abort();
+ }
char *line;
ssize_t read;
char *line;
ssize_t read;