1405     auto Normalized =  in getNormalizedAssociatedConstraints()  local
1411                          Normalized  in getNormalizedAssociatedConstraints()
1413                                  std::move(*Normalized))  in getNormalizedAssociatedConstraints()
1686 NormalForm clang::makeCNF(const NormalizedConstraint &Normalized) {  in makeCNF()  argument
1687   if (Normalized.isAtomic())  in makeCNF()
1688     return {{Normalized.getAtomicConstraint()}};  in makeCNF()
1690   else if (Normalized.isFoldExpanded())  in makeCNF()
1691     return {{Normalized.getFoldExpandedConstraint()}};  in makeCNF()
1693   NormalForm LCNF = makeCNF(Normalized.getLHS());  in makeCNF()
1694   NormalForm RCNF = makeCNF(Normalized.getRHS());  in makeCNF()
1695   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) {  in makeCNF()
1718 NormalForm clang::makeDNF(const NormalizedConstraint &Normalized) {  in makeDNF()  argument
1719   if (Normalized.isAtomic())  in makeDNF()
1720     return {{Normalized.getAtomicConstraint()}};  in makeDNF()
1722   else if (Normalized.isFoldExpanded())  in makeDNF()
1723     return {{Normalized.getFoldExpandedConstraint()}};  in makeDNF()
1725   NormalForm LDNF = makeDNF(Normalized.getLHS());  in makeDNF()
1726   NormalForm RDNF = makeDNF(Normalized.getRHS());  in makeDNF()
1727   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) {  in makeDNF()