Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Avoid dangling pointer.
[simgrid.git] / src / xbt / automaton / automaton.c
index 2e15eeb..9fde6ed 100644 (file)
@@ -90,6 +90,7 @@ xbt_automaton_exp_label_t xbt_automaton_exp_label_new(int type, ...){
   default:
     XBT_DEBUG("Invalid type: %d", type);
     xbt_free(label);
+    label = NULL;
     break;
   }
   va_end(ap);
@@ -104,7 +105,7 @@ xbt_dynar_t xbt_automaton_get_transitions(xbt_automaton_t a){
   return a->transitions;
 }
 
-xbt_automaton_transition_t xbt_automaton_get_transition(xbt_automaton_t XBT_ATTRIB_UNUSED a, xbt_automaton_state_t src,
+xbt_automaton_transition_t xbt_automaton_get_transition(XBT_ATTRIB_UNUSED xbt_automaton_t a, xbt_automaton_state_t src,
                                                         xbt_automaton_state_t dst)
 {
   xbt_automaton_transition_t transition;