obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 40 insertions, 0 deletions

diff --git a/gcc/testsuite/g++.dg/gomp/tpl-atomic-2.C b/gcc/testsuite/g++.dg/gomp/tpl-atomic-2.C
new file mode 100644
index 000000000..c27f20193
--- /dev/null
+++ b/gcc/testsuite/g++.dg/gomp/tpl-atomic-2.C
@@ -0,0 +1,40 @@
+// { dg-do compile }
+
+struct S { int x; } s;
+
+// Make sure we detect errors on non-type-dependent things
+// even when the templates are never instantiated.
+template<typename T> void f1()
+{
+  #pragma omp atomic
+  s += 1;		// { dg-error "invalid" }
+}
+
+template<typename T> void f2(float *f)
+{
+  #pragma omp atomic
+  *f |= 1;		// { dg-error "invalid|evaluation" }
+}
+
+// Here the rhs is dependent, but not type dependent.
+template<typename T> void f3(float *f)
+{
+  #pragma omp atomic
+  *f |= sizeof (T);	// { dg-error "invalid|evaluation" }
+}
+
+// And the converse, no error here because we're never fed a T.
+template<typename T> void f4(T *t)
+{
+  #pragma omp atomic
+  *t += 1;
+}
+
+// Here we'll let it go, because the rhs is type dependent and
+// we can't properly instantiate the statement, and we do most
+// of the semantic analysis concurrent with that.
+template<typename T> void f5(float *f)
+{
+  #pragma omp atomic
+  *f |= (T)sizeof(T);	// { dg-error "invalid|evaluation" "" { xfail *-*-* } }
+}