- DEBUG2("Looking for symbol %d, addr = '%s'", i, addrs[i]);
- fgets(line_func, 1024, pipe);
+ char *fgets_res;
+ XBT_DEBUG("Looking for symbol %d, addr = '%s'", i, addrs[i]);
+ fgets_res = fgets(line_func, 1024, pipe);
+ if (fgets_res == NULL)
+ THROWF(system_error, 0,
+ "Cannot run fgets to look for symbol %d, addr %s", i,
+ addrs[i]);