From d24d2250e5809943f0b3a3387f1afa411f4679d2 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 15 Jun 2021 21:46:28 +0200
Subject: [PATCH] [Aorai] properly handle int parsing errors
---
src/plugins/aorai/data_for_aorai.ml | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/src/plugins/aorai/data_for_aorai.ml b/src/plugins/aorai/data_for_aorai.ml
index 4a40b1c088a..704d1a792df 100644
--- a/src/plugins/aorai/data_for_aorai.ml
+++ b/src/plugins/aorai/data_for_aorai.ml
@@ -739,8 +739,13 @@ let type_expr metaenv env ?tr ?current e =
let var = Logic_const.tvar (Cil.cvar_to_lvar (find_metavar s metaenv)) in
env, var, cond
| PCst (Logic_ptree.IntConstant s) ->
- let e = Cil.parseIntLogic ~loc s in
- env, e, cond
+ begin
+ try
+ let e = Cil.parseIntLogic ~loc s in
+ env, e, cond
+ with ParseIntError msg ->
+ raise_error msg
+ end
| PCst (Logic_ptree.FloatConstant str) ->
env, Logic_utils.parse_float ~loc str, cond
| PCst (Logic_ptree.StringConstant s) ->
--
GitLab