From 916f120316108f1db9537eccb5151e7b59f82a1f Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Mon, 28 Feb 2022 17:20:04 +0100
Subject: new expansion example

---
 test/gourdinl/postpass_exp.c | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/test/gourdinl/postpass_exp.c b/test/gourdinl/postpass_exp.c
index 522ac2a6..bc234091 100644
--- a/test/gourdinl/postpass_exp.c
+++ b/test/gourdinl/postpass_exp.c
@@ -1,5 +1,11 @@
-int main(int x, int y) {
-  int z = x << 32;
+long foo(int x, char y, long *t) {
+  int z = x / 4096;
+  y = x / 256;
+  t[0] = t[1] * t[2];
+  if (x + z < 7) {
+    if (y < 7)
+      return 421 + t[0];
+  }
   y = y - z;
-  return x + y;
+  return x + y - t[0];
 }
-- 
cgit