From 32a6fcb12814550633261960b540ffeb8a0fcab5 Mon Sep 17 00:00:00 2001
From: varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 4 Apr 2012 11:59:40 +0000
Subject: Added safety to potentially overflowing arithmetics

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1872 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 checklink/PPC_utils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checklink/PPC_utils.ml')

diff --git a/checklink/PPC_utils.ml b/checklink/PPC_utils.ml
index 086d1c2..d027649 100644
--- a/checklink/PPC_utils.ml
+++ b/checklink/PPC_utils.ml
@@ -17,7 +17,7 @@ let code_of_sym_ndx (e: elf) (ndx: int): ecode option =
   match sym.st_type with
   | STT_FUNC ->
       let sym_vaddr = sym.st_value in
-      let sym_size = 8 * (int32_int sym.st_size) in
+      let sym_size = Safe.(of_int32 sym.st_size * 8) in
       let sym_sndx = sym.st_shndx in
       let code_bs =
         bitstring_at_vaddr e sym_sndx sym_vaddr sym_size in
-- 
cgit v1.2.3