From 9e9ef45a2315694bf6efbfe8b8c9a0dd9f19e292 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 6 Feb 2017 14:33:12 +0100
Subject: Generalized function to allow adding hex strings.

The intconst function comes with an optional parameter to add an
hex string for later printing.
---
 cparser/Cutil.ml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'cparser/Cutil.ml')

diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml
index 20cdc038..9f893fb0 100644
--- a/cparser/Cutil.ml
+++ b/cparser/Cutil.ml
@@ -981,8 +981,12 @@ let int_pointer_conversion env tfrom tto =
 
 (* Construct an integer constant *)
 
-let intconst v ik =
-  { edesc = EConst(CInt(v, ik, "")); etyp = TInt(ik, []) }
+let intconst ?hex v ik =
+  let ist = match hex with
+    | Some hex  when hex ->
+        Printf.sprintf "0x%LXU" v
+    | _ -> "" in
+  { edesc = EConst(CInt(v, ik, ist)); etyp = TInt(ik, []) }
 
 (* Construct the 0 float constant of double type *)
 
-- 
cgit