ti-enxame.com

Salto ou movimento condicional depende de valores não inicializados

estou quebrando a cabeça por horas com o seguinte problema: colei 2 funções, apesar de haver muito mais. Eu corro o valgrind no meu programa e recebo 32 erros semelhantes a este:

==4214== 6 errors in context 8 of 10:
==4214== Conditional jump or move depends on uninitialised value(s)
==4214==    at 0x40088F: getNextFreeCell (in /a/fr-01/vol/home/stud/ashers03/c/ex4/test)
==4214==    by 0x400C7A: InsertObject (in /a/fr-01/vol/home/stud/ashers03/c/ex4/test)
==4214==    by 0x401137: main (in /a/fr-01/vol/home/stud/ashers03/c/ex4/test)  

eu recebo mais erros em outras funções, no entanto, é o mesmo erro. não consigo entender por que não foi inicializado. Obrigado a todos por sua ajuda.

esta é a principal função:

int main(int argc, char* argv[]) {
     size_t tableSize = (size_t)atoi(*(argv+1));
     TableP table = CreateTable(tableSize,IntFcn, IntPrint,IntCompare);
     int i;
     for (i=FIRST; i<=LAST; i++) {
         int *key = (int*)malloc(sizeof(int));
         *key = i;

         ObjectP obj = CreateObject(key);
         InsertObject(table,obj);
     }
     PrintTable(table);
     FreeTable(table);
     return 0;
}

estas defs estão em um arquivo de cabeçalho:

typedef struct Object* ObjectP;
typedef struct Table* TableP;
typedef const struct Table* ConstTableP;
typedef enum {FALSE, TRUE} Boolean;

este código está em outro arquivo:

typedef struct Table {
    ObjectP* _table;
    int _firstTableSize;
    int _currentTableSize;
    int _increaseFactor;
    HashFcn _hfun;
    PrintFcn _pfun;
    ComparisonFcn _fcomp;
} Table;

typedef struct Object {

     ObjectP _next;
     void* _key;
     int _numInChain;
} Object;

esta função insere uma chave em uma tabela de hash. se 3 chaves já estiverem encadeadas na célula, o tamanho da tabela será dobrado e eu estou fazendo algumas outras coisas em doubleTable () ...

Boolean InsertObject(TableP table, ObjectP object) {

    int index=table->_increaseFactor*table->_hfun(object->_key,table->_firstTableSize);

    if (table->_table[index] != NULL) {
        if (table->_table[index]->_numInChain == MAX_CHAIN) { //search for next cell
            int nextFreeCell = getNextFreeCell(table,index+1);
            if (nextFreeCell == FAILED) { //double table size
                if(doubleTable(table)) {
                InsertObject(table,object);
                return TRUE;
            }
            else {
                ReportError(MEM_OUT);
                return FALSE;
            }
        }
        else {
            table->_table[nextFreeCell] = chainObject(table->_table[nextFreeCell],object);
            return TRUE;
        }
    }
    else { //place object in chain:
        table->_table[index] = chainObject(table->_table[index],object);
        return TRUE;
    }
}
else { //empty cell, place object
     table->_table[index] = chainObject(table->_table[index],object);
     return TRUE;
}
}

static int getNextFreeCell(TableP table, int index) {

    int tableSize = table->_currentTableSize;
    while ( (index < tableSize) && (index % table->_increaseFactor != 0) ) {
         if (table->_table[index] == NULL || table->_table[index]->_numInChain < MAX_CHAIN) {
         return index;
         }
    index++;
    }
    return FAILED;
}

EDITAR:

corri o valgrind como você disse e recebi:

==4563== Conditional jump or move depends on uninitialised value(s)
==4563==    at 0x40088F: getNextFreeCell (GenericHashTable.c:75)
==4563==    by 0x400C7A: InsertObject (GenericHashTable.c:222)
==4563==    by 0x401137: main (HashIntMain.c:34)
==4563==  Uninitialised value was created by a heap allocation
==4563==    at 0x4C241A7: malloc (vg_replace_malloc.c:195)
==4563==    by 0x4007AF: allocateArray (GenericHashTable.c:41)
==4563==    by 0x400924: doubleTable (GenericHashTable.c:90)
==4563==    by 0x400C8F: InsertObject (GenericHashTable.c:225)
==4563==    by 0x401137: main (HashIntMain.c:34)

eu tenho este método:

static ObjectP* allocateArray(int tableSize) {

    objectP* arr = (ObjectP*)malloc(tableSize * sizeof(ObjectP));
        return arr;
}

isso cria uma matriz de ponteiros, que eu nunca inicializei. este poderia ser o problema? e como devo inicializar uma matriz de ponteiros? para NULL?

15
Mike

Você precisa executar o valgrind com o --track-origins=yes opção para encontrar as origens de valores indefinidos.

31
arsenm

O problema era que eu não inicializei a matriz de ponteiros quando a criei.

4
Mike

Parece-me que você não compilou seu programa com um sinalizador de depuração (-g para o gcc). Então, se você executar o valgrind com todas as opções, deverá informar exatamente quais variáveis ​​causam o problema.

2
Jens Gustedt

Onde você inicializa table->_table? Verifique se você está inicializando corretamente, presumo, CreateTable(). Por favor, poste o código para essa função se nada óbvio aparecer em você.

2
John Kugelman

Simples - basta executar

valgrind --tool=memcheck --track-origins=yes <program_path>

...descobrir.

1
Subham Debnath