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 : fclose forgotten in get_memory_map_addr
[simgrid.git]
/
src
/
mc
/
mc_liveness.c
diff --git
a/src/mc/mc_liveness.c
b/src/mc/mc_liveness.c
index
6f44c29
..
ed468f5
100644
(file)
--- a/
src/mc/mc_liveness.c
+++ b/
src/mc/mc_liveness.c
@@
-45,8
+45,10
@@
const char* get_memory_map_addr(void *addr){
if(fp == NULL)
perror("fopen failed");
- if(addr == NULL)
+ if(addr == NULL){
+ fclose(fp);
return "nil";
+ }
xbt_dynar_t lfields = NULL;
xbt_dynar_t start_end = NULL;