LLVM 22.1.0 llega con tokens de memoria, bucles con nombre y soporte para los futuros procesadores de Intel

El proyecto LLVM, que desarrolla el compilador Clang para los lenguajes C, C++ y Objective-C, ha publicado su primera versión estable de 2026.

La nueva rama 22.1.0 ya está disponible para descarga desde el sitio oficial, consolidando un conjunto de mejoras que abarcan desde la gestión de memoria hasta la compatibilidad con hardware de vanguardia.

Tokens de asignación: Una revolución en la gestión de memoria

La innovación más profunda de LLVM 22 es la introducción de los Allocation Tokens (tokens de asignación de memoria), una característica diseñada para transformar la forma en que los desarrolladores depuran y organizan la memoria dinámica.

Habilitada mediante el flag -fsanitize=alloc-token, esta funcionalidad permite marcar cada operación de asignación de memoria (como malloc) con un identificador único. Estos identificadores ofrecen nuevas capacidades:

• Estructuración del heap: Los objetos pueden agruparse según su propósito o patrón de acceso, separando, por ejemplo, los datos "calientes" (de uso frecuente) de los "fríos".

• Detección de fugas simplificada: Al rastrear los tokens, los desarrolladores pueden identificar con precisión qué asignaciones no fueron liberadas.

Además, el detector de comportamientos indefinidos (UBSan) se vuelve mucho más comunicativo.

Con el nuevo flag -fsanitize-debug-trap-reasons, el compilador puede incrustar la causa exacta del error directamente en la información de depuración, ofreciendo dos niveles de detalle:

Nivel	Descripción	Ejemplo
basic	Descripciones generales del error	"Integer addition overflowed"
detailed	Información exhaustiva con contexto	"signed integer addition overflow in 'a + b'"

 Nuevas capacidades en C: Hacia C2y y C23

LLVM 22.1.0 implementa características que se adelantan a los futuros estándares del lenguaje C, mejorando la expresividad y la seguridad del código.

Mecanismo defer (borrador) : Se ha añadido soporte experimental para la ejecución diferida mediante el flag -fdefer-ts. Este mecanismo permite programar la ejecución de bloques de código (como la liberación de recursos o el cierre de archivos) justo al salir del ámbito actual, una característica largamente demandada por los desarrolladores de sistemas.

Bucles con nombre (C2y): Una de las adiciones más celebradas para el futuro estándar C2y es la posibilidad de etiquetar bucles y sentencias switch. Esto permite a las sentencias break y continue dirigirse explícitamente a un bucle exterior, eliminando la necesidad de complejas variables de estado o del denostado goto.

c:

outer: for (int i = 0; i < IK; ++ i) {
    for (int j = 0; j < JK; ++ j) {
        continue;       // Salta a CONT1 (bucle interior)
        continue outer; // Salta a CONT2 (bucle exterior)
        // CONT1
    }
    // CONT2
}

NaN señalado (C23): En cumplimiento del estándar C23, el encabezado float.h ahora soporta las macros FLT_SNAN, DBL_SNAN y LDBL_SNAN, que introducen valores NaN que provocan excepciones inmediatas al ser utilizados en operaciones aritméticas, una funcionalidad vital para la depuración en cálculos científicos y de alto rendimiento.

Novedades en C++: C++20, C++26 y mayor robustez

El soporte para C++ también se expande significativamente en esta versión.

Enlaces estructurados en constexpr (C++26): Apuntando al futuro estándar C++26, Clang 22 permite el uso de structured bindings dentro del contexto constexpr. Esto significa que desempaquetar arreglos o estructuras simples en variables individuales ahora puede resolverse íntegramente en tiempo de compilación.

Evaluación de restricciones (C++20): Cumpliendo con el estándar C++20, las restricciones de plantillas (constraints) ahora se normalizan antes de ser verificadas. Esto garantiza un manejo adecuado de los errores de sustitución (SFINAE) y produce mensajes de error de diagnóstico infinitamente más precisos cuando un concepto (concept) no se cumple.

Tipado más estricto: El flag -Wincompatible-pointer-types ahora genera un error de compilación por defecto, en lugar de una simple advertencia, forzando un tipado más riguroso. Para revertir al comportamiento anterior, los desarrolladores pueden usar -Wno-error=incompatible-pointer-types.

Soporte ampliado para las nuevas arquitecturas

LLVM 22.1.0 consolida su posición como el compilador universal, añadiendo soporte para las últimas microarquitecturas y procesadores.

x86 (Intel): Se incorporan modos de compilación específicos para las inminentes microarquitecturas de Intel: Wildcat Lake (-march=wildcatlake) y Nova Lake (-march=novalake), junto con nuevas funciones intrínsecas para las extensiones vectoriales SSE, AVX y AVX-512.

AArch64 (ARM de 64 bits) : El backend para ARM64 recibe soporte masivo para la nueva familia de procesadores, incluyendo los Ampere Computing Ampere1C y los Arm C1-Nano, Pro, Premium y Ultra. Además, se estabiliza el soporte para el multiversionado de funciones (FMV), permitiendo priorizar qué versión ejecutar según las capacidades detectadas de la CPU.

Arquitecturas emergentes: Se añade soporte para la arquitectura LoongArch32 y se implementan mejoras significativas en la generación de código para RISC-V, WebAssembly y PowerPC.

Mejoras en el enlazador y el depurador LLDB

La optimización en tiempo de enlace (LTO) recibe mejoras con la evolución del soporte para ThinLTO distribuido (DTLTO), facilitando compilaciones distribuidas y acelerando las recompilaciones incrementales gracias a la compatibilidad con la caché .

El depurador oficial del proyecto, LLDB 22, incluye ahora formateadores nativos para una gran cantidad de tipos de la biblioteca estándar (STL) de MSVC en Windows.

Para los desarrolladores de ecosistemas web, LLDB es capaz de establecer puntos de interrupción y mostrar trazas de pila al depurar binarios WebAssembly (Wasm) utilizando tiempos de ejecución como WAMR o el motor V8.

Disponibilidad

LLVM 22.1.0 ya está disponible para su descarga desde el sitio web oficial de LLVM (releases.llvm.org) y su repositorio en GitHub.

Los paquetes para las principales distribuciones GNU/Linux, Windows y macOS comenzarán a estar disponibles en los próximos días.

El equipo de desarrollo ha anunciado que la versión puntual 22.1.1 estará disponible en dos semanas para abordar posibles errores tempranos.