From ce4951549999f403446415c135ad1403a16a15c3 Mon Sep 17 00:00:00 2001 From: xleroy Date: Mon, 12 Nov 2012 13:42:22 +0000 Subject: Globalenvs: allocate one-byte block with permissions Nonempty for each function definition, so that comparisons between function pointers are correctly defined. AST, Globalenvs, and many other files: represent programs as a list of (function or variable) definitions instead of two lists, one for functions and the other for variables. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2067 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- backend/PrintRTL.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'backend/PrintRTL.ml') diff --git a/backend/PrintRTL.ml b/backend/PrintRTL.ml index 4fc8f56a..4cd38717 100644 --- a/backend/PrintRTL.ml +++ b/backend/PrintRTL.ml @@ -103,13 +103,13 @@ let print_function pp id f = List.iter (print_instruction pp) instrs; fprintf pp "@;<0 -2>}@]@." -let print_fundef pp (id, fd) = - match fd with - | Internal f -> print_function pp id f - | External _ -> () +let print_globdef pp (id, gd) = + match gd with + | Gfun(Internal f) -> print_function pp id f + | _ -> () let print_program pp (prog: RTL.program) = - List.iter (print_fundef pp) prog.prog_funct + List.iter (print_globdef pp) prog.prog_defs let print_if optdest prog = match !optdest with -- cgit