From cf3d6bde3582c26bc62d1baaaaff6fefef0f2a29 Mon Sep 17 00:00:00 2001
From: varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 4 Apr 2012 11:59:39 +0000
Subject: Catch Integer_overflow during fuzz testing

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1870 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 checklink/Fuzz.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'checklink')

diff --git a/checklink/Fuzz.ml b/checklink/Fuzz.ml
index 7752aee..c1f6780 100644
--- a/checklink/Fuzz.ml
+++ b/checklink/Fuzz.ml
@@ -51,6 +51,9 @@ let fuzz_check elfmap bs byte old sdumps =
   | Assert_failure(s, l, c) ->
       if !fuzz_debug
       then Printf.printf "fuzz_check failed an assertion at %s (%d, %d)\n" s l c
+  | Library.Integer_overflow ->
+      if !fuzz_debug
+      then Printf.printf "fuzz_check raised an integer overflow exception\n"
   | Match_failure(s, l, c) ->
       if !fuzz_debug
       then Printf.printf "fuzz_check raised a match failure at %s (%d, %d)\n" s l c
-- 
cgit v1.2.3