From a7ad08aef73fd2c4219a31a419e41ce2e5408a09 Mon Sep 17 00:00:00 2001
From: Joseph Myers <joseph@codesourcery.com>
Date: Thu, 18 Aug 2011 22:59:20 +0100
Subject: [PATCH] * gcc.dg/c1x-pointer-float-1.c: New test.

From-SVN: r177884
---
 gcc/testsuite/ChangeLog                    |  4 ++++
 gcc/testsuite/gcc.dg/c1x-pointer-float-1.c | 28 ++++++++++++++++++++++
 2 files changed, 32 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/c1x-pointer-float-1.c

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 150c1e55d86..9ac1ed7b774 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2011-08-18  Joseph Myers  <joseph@codesourcery.com>
+
+	* gcc.dg/c1x-pointer-float-1.c: New test.
+
 2011-08-18  Mikael Morin  <mikael.morin@sfr.fr>
 
 	PR fortran/50071
diff --git a/gcc/testsuite/gcc.dg/c1x-pointer-float-1.c b/gcc/testsuite/gcc.dg/c1x-pointer-float-1.c
new file mode 100644
index 00000000000..57c5be88736
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/c1x-pointer-float-1.c
@@ -0,0 +1,28 @@
+/* Test C1X constraint against pointer / floating-point casts.  */
+/* { dg-do compile } */
+/* { dg-options "-std=c1x -pedantic-errors" } */
+
+void *p;
+float f;
+double d;
+long double ld;
+_Complex float cf;
+_Complex double cd;
+_Complex long double cld;
+
+void
+func (void)
+{
+  f = (float) p; /* { dg-error "pointer" } */
+  d = (double) p; /* { dg-error "pointer" } */
+  ld = (long double) p; /* { dg-error "pointer" } */
+  cf = (_Complex float) p; /* { dg-error "pointer" } */
+  cd = (_Complex double) p; /* { dg-error "pointer" } */
+  cld = (_Complex long double) p; /* { dg-error "pointer" } */
+  p = (void *) f; /* { dg-error "pointer" } */
+  p = (void *) d; /* { dg-error "pointer" } */
+  p = (void *) ld; /* { dg-error "pointer" } */
+  p = (void *) cf; /* { dg-error "pointer" } */
+  p = (void *) cd; /* { dg-error "pointer" } */
+  p = (void *) cld; /* { dg-error "pointer" } */
+}