3 ms·
Match statement exhaustiveness checking is one example, especially combined with the pervasiveness of enums (instead of constants).
by dochtman 6y ago
Match statement exhaustiveness checking is one example, especially combined with the pervasiveness of enums (instead of constants).
- junon 6y agoAny respectable C compiler does this.
- sshine 6y agoLike the one OpenSSL is being compiled with?
- SubjectToChange 6y agoWhat C compiler has pattern matching and ADTs?
- junon 6y agoEvery 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.