Scusatemi ma mi sono appena accorto che mancava un session_start() nell'index.php.
Siccome i dati della sessione mi servivano all'interno di una funzione presente nel file funzioni.php avevo inserito il session_start solo li ma a quanto pare dovevo inserirlo anche nell'index.php che richiama tale funzione.