@@ -264,7 +264,8 @@ class SMTConv {
264264                                          uint64_t  FromBitWidth) {
265265    if  ((FromTy->isIntegralOrEnumerationType () &&
266266         ToTy->isIntegralOrEnumerationType ()) ||
267-         (FromTy->isPointerOrObjCObjectPointerType () ^ ToTy->isPointerOrObjCObjectPointerType ()) ||
267+         (FromTy->isPointerOrObjCObjectPointerType () ^
268+          ToTy->isPointerOrObjCObjectPointerType ()) ||
268269        (FromTy->isBlockPointerType () ^ ToTy->isBlockPointerType ()) ||
269270        (FromTy->isReferenceType () ^ ToTy->isReferenceType ())) {
270271
@@ -365,7 +366,8 @@ class SMTConv {
365366
366367      //  If the two operands are pointers and the operation is a subtraction,
367368      //  the result is of type ptrdiff_t, which is signed
368-       if  (LTy->isPointerOrObjCObjectPointerType () && RTy->isPointerOrObjCObjectPointerType () && Op == BO_Sub) {
369+       if  (LTy->isPointerOrObjCObjectPointerType () &&
370+           RTy->isPointerOrObjCObjectPointerType () && Op == BO_Sub) {
369371        *RetTy = Ctx.getPointerDiffType ();
370372      }
371373    }
@@ -509,8 +511,9 @@ class SMTConv {
509511                            Solver->mkFloat (Zero));
510512    }
511513
512-     if  (Ty->isIntegralOrEnumerationType () || Ty->isPointerOrObjCObjectPointerType () ||
513-         Ty->isBlockPointerType () || Ty->isReferenceType ()) {
514+     if  (Ty->isIntegralOrEnumerationType () ||
515+         Ty->isPointerOrObjCObjectPointerType () || Ty->isBlockPointerType () ||
516+         Ty->isReferenceType ()) {
514517
515518      //  Skip explicit comparison for boolean types
516519      bool  isSigned = Ty->isSignedIntegerOrEnumerationType ();
@@ -613,7 +616,8 @@ class SMTConv {
613616      return ;
614617    }
615618
616-     if  ((LTy->isPointerOrObjCObjectPointerType () || RTy->isPointerOrObjCObjectPointerType ()) ||
619+     if  ((LTy->isPointerOrObjCObjectPointerType () ||
620+          RTy->isPointerOrObjCObjectPointerType ()) ||
617621        (LTy->isBlockPointerType () || RTy->isBlockPointerType ()) ||
618622        (LTy->isReferenceType () || RTy->isReferenceType ())) {
619623      //  TODO: Refactor to Sema::FindCompositePointerType(), and
@@ -624,7 +628,8 @@ class SMTConv {
624628
625629      //  Cast the non-pointer type to the pointer type.
626630      //  TODO: Be more strict about this.
627-       if  ((LTy->isPointerOrObjCObjectPointerType () ^ RTy->isPointerOrObjCObjectPointerType ()) ||
631+       if  ((LTy->isPointerOrObjCObjectPointerType () ^
632+            RTy->isPointerOrObjCObjectPointerType ()) ||
628633          (LTy->isBlockPointerType () ^ RTy->isBlockPointerType ()) ||
629634          (LTy->isReferenceType () ^ RTy->isReferenceType ())) {
630635        if  (LTy->isNullPtrType () || LTy->isBlockPointerType () ||
0 commit comments