From 202bc495442a1a8fa184b73ac0063bdbbbcdf846 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 24 Feb 2013 09:01:28 +0000
Subject: Constant propagation within __builtin_annot.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2126 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/annot1.c | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'test')

diff --git a/test/regression/annot1.c b/test/regression/annot1.c
index 2763a8c..9bdf14e 100644
--- a/test/regression/annot1.c
+++ b/test/regression/annot1.c
@@ -49,6 +49,15 @@ int h(int a)
   return dd;
 }
 
+const int C1 = 42;
+const double C2 = 3.14;
+
+void k(int arg)
+{
+  __builtin_annot("C1 + 1 is %1 and arg is %2 and C2 * 2 is %3",
+                  C1 + 1, arg, C2 * 2);
+}
+
 int main()
 {
   __builtin_annot("calling f");
-- 
cgit v1.2.3