GCC Translation Validation Part 6: Uninitialized memory

GCC Translation Validation Part 3: Memory representation

GCC Translation Validation Part 4: Address calculations

Verifying GCC optimizations using an SMT solver

Part 1: Writing a GCC plugin in Python

GCC Translation Validation

Branch/Cmove and Compiler Optimizations

Strange behavior with NaN and -ffast-math

Optimizations Enabled by -ffast-Math