From: John McCall <rjmccall@apple.com>
Date: Mon, 23 Aug 2010 06:56:36 +0000 (+0000)
Subject: chandlerc pointed out that ending a line with /\ is not very friendly. :)
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=de719f7131e1ece5c9d6b5ffe21b83286d29f10f;p=clang

chandlerc pointed out that ending a line with /\ is not very friendly. :)



git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111797 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/CodeGen/ItaniumCXXABI.cpp b/lib/CodeGen/ItaniumCXXABI.cpp
index f6864059de..5e1bb255c9 100644
--- a/lib/CodeGen/ItaniumCXXABI.cpp
+++ b/lib/CodeGen/ItaniumCXXABI.cpp
@@ -501,11 +501,11 @@ ItaniumCXXABI::EmitMemberPointerComparison(CodeGenFunction &CGF,
 
   // For member function pointers, the tautologies are more complex.
   // The Itanium tautology is:
-  //   (L == R) <==> (L.ptr == R.ptr /\ (L.ptr == 0 \/ L.adj == R.adj))
+  //   (L == R) <==> (L.ptr == R.ptr && (L.ptr == 0 || L.adj == R.adj))
   // The ARM tautology is:
-  //   (L == R) <==> (L.ptr == R.ptr /\
-  //                  (L.adj == R.adj \/
-  //                   (L.ptr == 0 /\ ((L.adj|R.adj) & 1) == 0)))
+  //   (L == R) <==> (L.ptr == R.ptr &&
+  //                  (L.adj == R.adj ||
+  //                   (L.ptr == 0 && ((L.adj|R.adj) & 1) == 0)))
   // The inequality tautologies have exactly the same structure, except
   // applying De Morgan's laws.