Ponteiros São Complicados II: Bugs Subtis em Otimizações do LLVM

Esta postagem aprofunda a importância da semântica precisa para representações intermediárias de compilador (IRs), especialmente para linguagens como C, C++ e Rust que permitem manipulação de ponteiros inseguros. O autor demonstra como uma sequência de três otimizações de compilador LLVM aparentemente corretas pode levar a um comportamento de programa incorreto. A causa raiz é a proveniência do ponteiro – as informações extras embutidas em um ponteiro além de seu endereço de memória, detalhando como ele foi calculado. Isso requer uma especificação de IR LLVM mais precisa, incluindo uma definição precisa de comportamento indefinido (UB). Tratar IRs de compilador como linguagens de programação autônomas com especificações rigorosas é fundamental para resolver esses problemas.