version 1.169, 2015/02/19 11:01:29
|
version 1.171, 2015/06/15 11:50:52
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.21 |
RPL/2 (R) version 4.1.22 |
Copyright (C) 1989-2015 Dr. BERTRAND Joël |
Copyright (C) 1989-2015 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
Line 5401 rplinit(int argc, char *argv[], char *en
|
Line 5401 rplinit(int argc, char *argv[], char *en
|
{ |
{ |
if ((*resultats) != NULL) |
if ((*resultats) != NULL) |
{ |
{ |
free((*resultats)); |
sys_free((*resultats)); |
|
|
if (((*resultats) = malloc(((size_t) |
if (((*resultats) = sys_malloc(((size_t) |
((*s_etat_processus) |
((*s_etat_processus) |
.hauteur_pile_operationnelle + 1)) |
.hauteur_pile_operationnelle + 1)) |
* sizeof(unsigned char **))) != NULL) |
* sizeof(unsigned char **))) != NULL) |