diff options
-rw-r--r-- | polly/lib/Support/GICHelper.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/polly/lib/Support/GICHelper.cpp b/polly/lib/Support/GICHelper.cpp index c26076761af..28883187269 100644 --- a/polly/lib/Support/GICHelper.cpp +++ b/polly/lib/Support/GICHelper.cpp @@ -74,7 +74,11 @@ static inline std::string stringFromIslObjInternal(__isl_keep ISLTy *isl_obj, isl_printer *p = isl_printer_to_str(ctx); printer_fn(p, isl_obj); char *char_str = isl_printer_get_str(p); - std::string string(char_str); + std::string string; + if (char_str) + string = char_str; + else + string = "null"; free(char_str); isl_printer_free(p); return string; |