@@ -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