https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66962
--- Comment #16 from Jason Merrill <jason at gcc dot gnu.org> --- (In reply to Jason Merrill from comment #15) > So, converting A || B to !(!A && !B) will avoid the explosion at the cost of > limiting subsumption. Or even !!(A || B).