From 51f2b142101201e2465c738955605953e514edd3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 11 Oct 2021 15:54:27 +0200
Subject: [PATCH] [kernel] Uses Integer.to_int_exn instead of Integer.to_int.
---
src/kernel_internals/typing/cabs2cil.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_internals/typing/cabs2cil.ml b/src/kernel_internals/typing/cabs2cil.ml
index 000480d8dc8..36f0167b48f 100644
--- a/src/kernel_internals/typing/cabs2cil.ml
+++ b/src/kernel_internals/typing/cabs2cil.ml
@@ -1200,7 +1200,7 @@ let to_integer i =
-1
let constFoldToInteger e =
- try Option.map Integer.to_int (Cil.constFoldToInt e)
+ try Option.map Integer.to_int_exn (Cil.constFoldToInt e)
with Z.Overflow ->
Kernel.error ~current:true
"integer constant too large in expression %a"
--
GitLab