diff options
author | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-04 11:59:40 +0000 |
---|---|---|
committer | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-04 11:59:40 +0000 |
commit | 32a6fcb12814550633261960b540ffeb8a0fcab5 (patch) | |
tree | d6b180cba9277f76bb70d7a0ee81b05e50811211 /checklink/PPC_utils.ml | |
parent | 3498607028a17be29cd2fbc3b1f48f2847915ce3 (diff) | |
download | compcert-32a6fcb12814550633261960b540ffeb8a0fcab5.tar.gz compcert-32a6fcb12814550633261960b540ffeb8a0fcab5.zip |
Added safety to potentially overflowing arithmetics
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1872 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'checklink/PPC_utils.ml')
-rw-r--r-- | checklink/PPC_utils.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checklink/PPC_utils.ml b/checklink/PPC_utils.ml index 086d1c2d..d027649e 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 |