Unused variables are bad (dead code)!  Yes, warn. We couldn't get a system certified with dead code...
Unused variables are bad (dead code)!  Yes, warn.
We couldn't get a system certified with dead code...

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32