version 1.55, 2013/03/16 20:11:29
|
version 1.56, 2013/03/20 17:11:44
|
Line 39 static inline void
|
Line 39 static inline void
|
estimation_taille_pile_systeme(struct_processus *s_etat_processus) |
estimation_taille_pile_systeme(struct_processus *s_etat_processus) |
{ |
{ |
(*s_etat_processus).estimation_taille_pile_systeme_tampon = |
(*s_etat_processus).estimation_taille_pile_systeme_tampon = |
((*s_etat_processus).estimation_taille_pile_systeme_tampon * |
(((double) (*s_etat_processus) |
((double) 0.9)) + ((*s_etat_processus) |
.estimation_taille_pile_systeme_tampon) * |
.hauteur_pile_systeme * ((double) 0.1)); |
((double) 0.9)) + (((double) (*s_etat_processus) |
|
.hauteur_pile_systeme) * ((double) 0.1)); |
return; |
return; |
} |
} |
|
|
Line 302 effacement_pile_systeme(struct_processus
|
Line 303 effacement_pile_systeme(struct_processus
|
void |
void |
trace(struct_processus *s_etat_processus, FILE *flux) |
trace(struct_processus *s_etat_processus, FILE *flux) |
{ |
{ |
int candidat; |
|
int j; |
|
int nb_variables; |
|
|
|
integer8 i; |
integer8 i; |
|
integer8 j; |
|
integer8 candidat; |
integer8 candidat8; |
integer8 candidat8; |
integer8 delta; |
integer8 delta; |
|
integer8 nb_variables; |
|
|
struct_liste_chainee *l_element_expression; |
struct_liste_chainee *l_element_expression; |
|
|
Line 332 trace(struct_processus *s_etat_processus
|
Line 332 trace(struct_processus *s_etat_processus
|
|
|
nb_variables = nombre_variables(s_etat_processus); |
nb_variables = nombre_variables(s_etat_processus); |
|
|
if ((tableau = malloc(nb_variables * sizeof(struct_tableau_variables))) |
if ((tableau = malloc(((size_t) nb_variables) * |
== NULL) |
sizeof(struct_tableau_variables))) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
return; |
return; |
Line 596 trace(struct_processus *s_etat_processus
|
Line 596 trace(struct_processus *s_etat_processus
|
if ((*(tableau[j].objet)).type == ADR) |
if ((*(tableau[j].objet)).type == ADR) |
{ |
{ |
delta = (*l_element_courant).adresse_retour |
delta = (*l_element_courant).adresse_retour |
- (*((unsigned long *) |
- (*((integer8 *) |
(*(tableau[j].objet)).objet)); |
(*(tableau[j].objet)).objet)); |
|
|
if ((delta >= 0) && (delta < candidat8)) |
if ((delta >= 0) && (delta < candidat8)) |