C Erreur Realloc - "Assertion` ptr == alloc_last_block 'a échoué! "

Question

J'écris une fonction en C qui accepte une liste chaînée et un prédicat et retourne un tableau contenant toutes les valeurs de la liste chaînée satisfaisant cette condition. Voici la fonction:

void **get_all_that(list_t *l, int (*pred)(const void *)) { 
    void **vals = NULL; 
    int i = 0; // Number of matches found 
    const size_t vps = sizeof(void *); 
    node_t *n = l->first; 
    while (n) { 
     if (pred(n->value)) { 
      vals = (void **)realloc(vals, i*vps); // (*) 
      vals[i] = n->value; 
      i++; 
     } 
     n = n->next; 
    } 
    if (vals != NULL) { 
     vals = (void **)realloc(vals, i*vps); 
     vals[i] = NULL; // NULL-terminate array 
    } 
    return vals; 
} 

je suis passé un prédicat qui retourne toujours 1 (à savoir get_all_that est essentiellement to_array), et je me fais une erreur à la ligne à l'itération étoilée où i = 4. L'erreur sur le backtrace (qui a été automatiquement imprimé à partir d'un SIGABRT) est "*** glibc détecté *** ~/list/test: realloc(): invalide taille suivante: 0x0804c0e8 ***"

J'ai ouvert GDB lui disant de casser à droite avant d'appeler realloc quand i = 4. J'ai ensuite essayé d'appeler realloc (vals, i * vps) manuellement à partir de GDB et j'ai reçu le message d'erreur: "Incohérence détectée par ld.so: dl-minimal.c: 138: realloc: Assertion` ptr == alloc_last_block 'a échoué! "

Quelqu'un sait ce qu'il se passe?

Answer 1

Votre realloc alloue un élément de trop. Essayez de remplacer i par i+1. Vous devriez également vérifier l'échec de realloc avant de remplacer le pointeur que vous lui avez transmis, sinon vous obtiendrez une fuite de mémoire (sans parler de crash car vous ne parvenez pas à vérifier NULL) en cas d'échec, et en supprimant les lancers inutiles et laids de la la valeur de retour de realloc serait bien aussi.

Answer 2

Et votre premier realloc appelle la longueur avec 0, qui est un free. Donc, le conseil de mettre i+1 est doublement important.