version 1.31, 2010/06/24 10:10:46
|
version 1.34, 2010/07/31 10:34:18
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.17 |
RPL/2 (R) version 4.0.18 |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
Line 1871 rplinit(int argc, char *argv[], unsigned
|
Line 1871 rplinit(int argc, char *argv[], unsigned
|
} |
} |
|
|
(*s_etat_processus).at_exit = NULL; |
(*s_etat_processus).at_exit = NULL; |
|
(*s_etat_processus).at_poke = NULL; |
|
(*s_etat_processus).traitement_at_poke = 'N'; |
|
|
(*s_etat_processus).pointeurs_caracteres = NULL; |
(*s_etat_processus).pointeurs_caracteres = NULL; |
(*s_etat_processus).arbre_instructions = NULL; |
(*s_etat_processus).arbre_instructions = NULL; |
Line 1907 rplinit(int argc, char *argv[], unsigned
|
Line 1909 rplinit(int argc, char *argv[], unsigned
|
} |
} |
|
|
if (((*s_etat_processus).instruction_derniere_erreur = |
if (((*s_etat_processus).instruction_derniere_erreur = |
malloc(2 * sizeof(unsigned char))) == NULL) |
malloc(sizeof(unsigned char))) == NULL) |
{ |
{ |
erreur = d_es_allocation_memoire; |
erreur = d_es_allocation_memoire; |
|
|
Line 2663 rplinit(int argc, char *argv[], unsigned
|
Line 2665 rplinit(int argc, char *argv[], unsigned
|
(*s_etat_processus).at_exit, 'E'); |
(*s_etat_processus).at_exit, 'E'); |
} |
} |
} |
} |
|
|
liberation(s_etat_processus, |
|
(*s_etat_processus).at_exit); |
|
} |
} |
|
|
|
liberation(s_etat_processus, (*s_etat_processus).at_exit); |
|
liberation(s_etat_processus, (*s_etat_processus).at_poke); |
|
|
if ((*s_etat_processus).generateur_aleatoire != NULL) |
if ((*s_etat_processus).generateur_aleatoire != NULL) |
{ |
{ |
liberation_generateur_aleatoire(s_etat_processus); |
liberation_generateur_aleatoire(s_etat_processus); |