Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10

1 files changed, 12 insertions, 0 deletions

diff --git a/test/export/issue319.c b/test/export/issue319.c
new file mode 100644
index 00000000..be9f3f7e
--- /dev/null
+++ b/test/export/issue319.c
@@ -0,0 +1,12 @@
+/* Dollar signs in identifiers */
+
+int c$d = 42;
+
+int a$b(int x$$) {
+  return c$d + x$$;
+}
+
+int main(int argc, const char *argv[])
+{
+  return a$b(6);
+}