From 746b2ddb2075d73a7ac430d7bf0cef2266effc83 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Mon, 4 Feb 2013 17:37:49 +0100
Subject: [PATCH] Die if fopen() failed.

---
 src/simdag/sd_dotloader.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/simdag/sd_dotloader.c b/src/simdag/sd_dotloader.c
index 79f8642fc3..8b5ee8a381 100644
--- a/src/simdag/sd_dotloader.c
+++ b/src/simdag/sd_dotloader.c
@@ -154,6 +154,8 @@ xbt_dynar_t SD_dotload_generic(const char * filename, seq_par_t seq_or_par){
   result = xbt_dynar_new(sizeof(SD_task_t), dot_task_p_free);
   jobs = xbt_dict_new_homogeneous(NULL);
   FILE *in_file = fopen(filename, "r");
+  if (in_file == NULL)
+    xbt_die("Failed to open file: %s", filename);
   dag_dot = agread(in_file, NIL(Agdisc_t *));
   SD_task_t root, end, task;
   /*
-- 
2.20.1