Oh, and there needs to be some sort of declarative, rules-based DWARF checker.
Preferably one that doesn't only work on complete files (or collections of files) but also handles snippets.
If it's fast and can work on snippets before they are even written to disk, we can probably catch many compiler bugs.
If it's fast and can work on snippets before they are even written to disk, we can probably catch many compiler bugs.