https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
Bug ID: 95923 Summary: Failure to optimize bool checks into and Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: gabravier at gmail dot com Target Milestone: --- bool f(bool a, bool b) { if (!a && !b) return 0; if (!a && b) return 0; if (a && !b) return 0; return 1; } This can be optimized to `return a & b;`. This transformation is done by LLVM, but not by GCC.