Rust 1.99.1 risolve gli errori di linking su wcslen e una miscompilazione FFI su x86_64

Il team di Rust ha pubblicato la point release 1.99.1, che corregge due regressioni: errori di linking per il simbolo wcslen su alcuni target e una miscompilazione dei valori bool nelle chiamate FFI su x86_64¹.

La prima correzione aggiunge un fallback di wcslen nella libreria compiler-builtins del compilatore. Alcuni target ricevevano errori di linking per il simbolo mancante, perché l’ottimizzazione di LLVM loop-idiom-wcslen può introdurre chiamate a wcslen. Su questi target la funzione non era disponibile in libc o altrove. I target UEFI risultavano in particolare rotti per qualsiasi progetto che usasse la standard library, perché alcune chiamate comparivano nella standard library precompilata. Il problema era riproducibile anche con pattern di codice utente simili¹.

La seconda correzione riguarda la restituzione di bool tramite FFI su x86_64. Funzioni Rust che ritornavano bool potevano lasciare non specificati i bit da 1 a 7 del registro di ritorno, con la possibilità che i chiamanti osservassero valori grezzi inattesi. La release risolve questa miscompilazione¹.

L’aggiornamento è disponibile tramite rustup. Chi ha una versione precedente installata con rustup può eseguire: rustup update stable. Chi non ha rustup può scaricarlo dalla pagina dedicata sul sito di Rust¹.

Rust 1.99.1 nasce come point release per correggere regressioni introdotte in release precedenti. La nota di rilascio elenca i due problemi e descrive le condizioni che li innescavano. Nel caso di wcslen, la causa è la possibile introduzione di chiamate durante l’ottimizzazione, con alcune piattaforme prive di una definizione pronta nella libc o in altre librerie. Nel caso della miscompilazione FFI su x86_64, il comportamento dei bit non specificati nel registro di ritorno poteva esporre un valore non atteso al chiamante. Entrambi i casi sono trattati nella 1.99.1¹.

La release arriva dopo Rust 1.99.0. In quella versione, il team ha stabilizzato la definizione in Rust di funzioni variadiche con ABI "C" e "C-unwind". Le funzioni variadiche usano una lista di argomenti variabile (...) e accettano un numero arbitrario di argomenti. Prima, Rust poteva già chiamare funzioni variadiche definite all’esterno, per esempio printf di libc. Con Rust 1.99.0, queste funzioni possono essere scritte anche in Rust².

Chi vuole testare le prossime versioni può impostare il canale beta o nightly con rustup e segnalare eventuali bug. Il team invita a contribuire in questo modo per aiutare il ciclo di rilascio².

Il focus della 1.99.1 resta la correzione delle due regressioni specifiche. Per i target che non forniscono wcslen in libc o in altre librerie, l’inclusione del fallback in compiler-builtins rimuove la causa degli errori di linking. Per x86_64, la correzione elimina la possibilità che i chiamanti FFI leggano bit non inizializzati quando una funzione Rust ritorna un bool¹.