--- rpl/src/compilation.c 2013/03/22 11:03:57 1.58 +++ rpl/src/compilation.c 2013/03/22 11:11:40 1.59 @@ -1819,7 +1819,8 @@ conversion_majuscule(unsigned char *chai caractere_courant = chaine; caractere_courant_converti = chaine_convertie = (unsigned char *) malloc( - (longueur_chaine_plus_terminaison + 1) * sizeof(unsigned char)); + ((size_t) (longueur_chaine_plus_terminaison + 1)) + * sizeof(unsigned char)); if (chaine_convertie != NULL) {