OSDN Git Service

Fix PR c++/42260 and ensure PR c++/45383 is fixed
authordodji <dodji@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 29 Nov 2010 16:31:40 +0000 (16:31 +0000)
committerdodji <dodji@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 29 Nov 2010 16:31:40 +0000 (16:31 +0000)
gcc/cp/
c++/42260
* call.c (add_builtin_candidate): At this point the resulting type
of an indirection operator should be complete.

gcc/testsuite/
c++/42260
c++/45383
* g++.dg/conversion/cast2.C: New test.
* g++.dg/conversion/cond4/C: Likewise. Ensures we don't regress on
PR c++/45383

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@167250 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/cp/ChangeLog
gcc/cp/call.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/conversion/cast2.C [new file with mode: 0644]
gcc/testsuite/g++.dg/conversion/cond4.C [new file with mode: 0644]

index feb9620..40dd7e2 100644 (file)
@@ -1,5 +1,11 @@
 2010-11-29  Dodji Seketeli  <dodji@redhat.com>
 
 2010-11-29  Dodji Seketeli  <dodji@redhat.com>
 
+       PR c++/42260
+       * call.c (add_builtin_candidate): At this point the resulting type
+       of an indirection operator should be complete.
+
+2010-11-29  Dodji Seketeli  <dodji@redhat.com>
+
        PR c++/45383
        Reverted patch for PR c++/42260
        * cp-tree.h (lookup_conversions): Reverted "Add new bool parameter to
        PR c++/45383
        Reverted patch for PR c++/42260
        * cp-tree.h (lookup_conversions): Reverted "Add new bool parameter to
index d107a71..0f016ca 100644 (file)
@@ -2022,6 +2022,7 @@ add_builtin_candidate (struct z_candidate **candidates, enum tree_code code,
 
     case INDIRECT_REF:
       if (TREE_CODE (type1) == POINTER_TYPE
 
     case INDIRECT_REF:
       if (TREE_CODE (type1) == POINTER_TYPE
+         && is_complete (TREE_TYPE (type1))
          && (TYPE_PTROB_P (type1)
              || TREE_CODE (TREE_TYPE (type1)) == FUNCTION_TYPE))
        break;
          && (TYPE_PTROB_P (type1)
              || TREE_CODE (TREE_TYPE (type1)) == FUNCTION_TYPE))
        break;
index a1ebffb..1cfb5b2 100644 (file)
@@ -1,5 +1,12 @@
 2010-11-29  Dodji Seketeli  <dodji@redhat.com>
 
 2010-11-29  Dodji Seketeli  <dodji@redhat.com>
 
+       PR c++/42260
+       * g++.dg/conversion/cast2.C: New test.
+       * g++.dg/conversion/cond4/C: Likewise. This ensures we don't regress on
+       PR c++/45383
+
+2010-11-29  Dodji Seketeli  <dodji@redhat.com>
+
        PR c++/45383
        Reverted patch for PR c++/42260
        * conversion/cast2.C: Reverted new test.
        PR c++/45383
        Reverted patch for PR c++/42260
        * conversion/cast2.C: Reverted new test.
diff --git a/gcc/testsuite/g++.dg/conversion/cast2.C b/gcc/testsuite/g++.dg/conversion/cast2.C
new file mode 100644 (file)
index 0000000..ac83297
--- /dev/null
@@ -0,0 +1,9 @@
+// Origin: PR c++/42260
+// { dg-do compile }
+
+struct A
+{
+      template<typename T> operator T*();
+};
+
+int i = *A();// { dg-error "no match" }
diff --git a/gcc/testsuite/g++.dg/conversion/cond4.C b/gcc/testsuite/g++.dg/conversion/cond4.C
new file mode 100644 (file)
index 0000000..3bd6476
--- /dev/null
@@ -0,0 +1,31 @@
+// Origin: PR c++/45383
+// { dg-do run }
+
+struct null {
+    null() {}
+    template<class T>
+    operator T*() const {
+    return 0;
+    }
+
+    template<class C, class T>
+    operator T C::*() const {
+    return 0;
+    }
+private:
+    null(const null&);
+    null& operator=(const null&);
+    void operator&() const;
+};
+
+static struct null null;
+
+int
+main()
+{
+    int* ptr = null;
+    if (ptr == null)
+        return 0;
+    if (ptr != null)
+        return 1;
+}