Match statement exhaustiveness checking is one example, especially combined with the pervasiveness of enums (instead of constants).
back
1 comments
Any respectable C compiler does this.
What C compiler has pattern matching and ADTs?
Every C compiler these days will warn about unchecked enums in switch statements. This is, effectively, what the comment was saying.
Pattern matching has nothing to do with security or program safety.
Like the one OpenSSL is being compiled with?