Unfathomable bugs #10: The Broken Windows Build

15 points by unnick


jcelerier

creduce (https://github.com/csmith-project/creduce) is made exactly for this use-case (reducing a compiler bug to the minimal reproducible example)

vaguelytagged

It always surprises me that compiler bugs like this still exist in 2026 especially for such important software. I’m sure it’s a monumentous task but maybe we should be mathematically proving compilers. I think NASA still uses gcc 4