1 2 3
- Temporarily enable -Wredundant-constraints - Has too many false-positives to enable normally, but sometimes catches actual redundant constraints - Don't forget to rerun gentrace.sh