Searched refs:SimplifyDeMorganRelaxed (Results 1 – 3 of 3) sorted by relevance
72 const bool SimplifyDeMorganRelaxed; variable
561 if (Check->SimplifyDeMorganRelaxed || in TraverseUnaryOperator()589 SimplifyDeMorganRelaxed(Options.get("SimplifyDeMorganRelaxed", false)) { in SimplifyBooleanExprCheck()590 if (SimplifyDeMorganRelaxed && !SimplifyDeMorgan) in SimplifyBooleanExprCheck()677 Options.store(Opts, "SimplifyDeMorganRelaxed", SimplifyDeMorganRelaxed); in storeOptions()
100 .. option:: SimplifyDeMorganRelaxed