From 047c3257594e76c3268cbbe34e0ccd5f7294e734 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 27 Feb 2017 20:28:38 +0100
Subject: [PATCH] avoid crash when printing backtrace
---
src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h | 13 ++++++++++---
1 file changed, 10 insertions(+), 3 deletions(-)
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
index a9405a7f0b5..6e29a4a3427 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
@@ -55,9 +55,16 @@ static void trace() {
char *prefix = (counter) ? " - " : "";
if (ipr) {
char *outs = (char*)ipr->stdouts;
- outs[strlen(outs)-1] = '\0';
- if (strlen(outs) && endswith(outs, "??:0") && endswith(outs, "??:?")) {
- printf("%s%s\n", prefix, outs);
+ if (outs) {
+ outs[strlen(outs)-1] = '\0';
+ if (strlen(outs) && endswith(outs, "??:0") && endswith(outs, "??:?")) {
+ printf("%s%s\n", prefix, outs);
+ }
+ } else {
+ char *errs = (char*)ipr->stderrs;
+ if (errs) {
+ printf("%s\n", errs);
+ }
}
}
bb++;
--
GitLab