From e5854eff808d7e803e0f18a9ac8548d886e15522 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 13 Jun 2012 18:30:37 +0200 Subject: [PATCH] [trace] throw an exception instead of returning NULL. --- src/instr/instr_paje_values.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/instr/instr_paje_values.c b/src/instr/instr_paje_values.c index 382cfff2ff..488468b204 100644 --- a/src/instr/instr_paje_values.c +++ b/src/instr/instr_paje_values.c @@ -36,7 +36,9 @@ val_t PJ_value_get (const char *name, type_t father) THROWF (tracing_error, 0, "can't get a value with a NULL name (or a NULL father)"); } - if (father->kind == TYPE_VARIABLE) return NULL; //Variables can't have different values + if (father->kind == TYPE_VARIABLE) + THROWF(tracing_error, 0, + "variables can't have different values (%s)", father->name); val_t ret = (val_t)xbt_dict_get_or_null (father->values, name); if (ret == NULL) { THROWF(tracing_error, 2, -- 2.30.2