How the GNU C Compiler became the Clippy of cryptography

The GNU C compiler is excellent with reasoning about Boolean values. It may be too clever. Like Microsoft Clippy-level clever ...