Compiler support for switch-case error detection

By Urs Fässler