There are some languages that don't need mass appeal to be loved. Elixir, Lua, Zig, Clojure, Julia, and Rust prove that point ...
The GNU C compiler is excellent with reasoning about Boolean values. It may be too clever. Like Microsoft Clippy-level clever ...