typeof-2.c: Add checks for non-atomic types.

gcc/testsuite/gcc.dg/typeof-2.c

gcc/testsuite/ChangeLog

	* gcc.dg/typeof-2.c: Add checks for non-atomic types.

From-SVN: r219381

gcc/testsuite/ChangeLog

+2015-01-09  Sebastian Huber  <sebastian.huber@embedded-brains.de>
+
+	* gcc.dg/typeof-2.c: Add checks for non-atomic types.
+
 2015-01-09  Richard Biener  <rguenther@suse.de>
 
 	PR tree-optimization/64410

gcc/testsuite/gcc.dg/typeof-2.c

@@ -2,6 +2,8 @@
 /* { dg-do compile } */
 /* { dg-options "-std=c11" } */
 
+/* Check that the qualifiers are discarded for atomic types. */
+
 extern int i;
 
 extern int * p;
@@ -26,3 +28,32 @@ void f(void)
   __auto_type ari = ri;
   int **pari = &ari;
 }
+
+/* Check that the qualifiers are preserved for non-atomic types. */
+
+extern int const j;
+
+extern int volatile k;
+
+extern int * restrict q;
+
+extern int const nci;
+extern __typeof (nci) j;
+
+extern int volatile nvi;
+extern __typeof (nvi) k;
+
+extern int * restrict nri;
+extern __typeof (nri) q;
+
+void g(void)
+{
+  __auto_type aci = nci;
+  int const *paci = &aci;
+
+  __auto_type avi = nvi;
+  int volatile *pavi = &avi;
+
+  __auto_type ari = nri;
+  int * restrict *pari = &ari;
+}