diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 13:14:55 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 13:14:55 +0000 |
commit | f961ff40adc1eb853a628c7fb10010e55e7c93e9 (patch) | |
tree | ab4bcbf6d7e54c5ce16c683e4315f235f01a0016 /cparser/Cprint.ml | |
parent | 6c196ec8a41d6ed506c133c8b33dba9684f9a7a6 (diff) |
Support for 'inline' modifier
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1272 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/Cprint.ml')
-rw-r--r-- | cparser/Cprint.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cparser/Cprint.ml b/cparser/Cprint.ml index 508832b..7d8f2b3 100644 --- a/cparser/Cprint.ml +++ b/cparser/Cprint.ml @@ -437,7 +437,9 @@ and opt_exp pp s = fprintf pp "@[<v 3>({ %a })@]" stmt s let fundef pp f = - fprintf pp "@[<hov 2>%a" storage f.fd_storage; + fprintf pp "@[<hov 2>%s%a" + (if f.fd_inline then "inline " else "") + storage f.fd_storage; simple_decl pp (f.fd_name, TFun(f.fd_ret, Some f.fd_params, f.fd_vararg, [])); fprintf pp "@]@ @[<v 2>{@ "; List.iter (fun d -> fprintf pp "%a@ " full_decl d) f.fd_locals; |