From 5f61d89783b4b3a85203025853c7f558a4aee7a7 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 28 Jul 2012 01:19:20 +0000
Subject: Forgot to collect types of expressions

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1984 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cfrontend/PrintCsyntax.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'cfrontend/PrintCsyntax.ml')

diff --git a/cfrontend/PrintCsyntax.ml b/cfrontend/PrintCsyntax.ml
index ae25e170..f63c1509 100644
--- a/cfrontend/PrintCsyntax.ml
+++ b/cfrontend/PrintCsyntax.ml
@@ -440,7 +440,9 @@ and collect_fields = function
   | Fnil -> ()
   | Fcons(id, hd, tl) -> collect_type hd; collect_fields tl
 
-let rec collect_expr = function
+let rec collect_expr e =
+  collect_type (typeof e);
+  match e with
   | Eloc _ -> assert false
   | Evar _ -> ()
   | Ederef(r, _) -> collect_expr r
-- 
cgit