From 7a88871feb652a3b094f3fdc8c7e933ab6eb16d3 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 25 Aug 2016 10:11:07 +0200
Subject: Simplify test. Bug 19629

---
 cfrontend/C2C.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'cfrontend/C2C.ml')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index 07de331e..6b469434 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -758,10 +758,7 @@ let rec convertExpr env e =
   | C.ECall({edesc = C.EVar {name = "__builtin_debug"}}, args) ->
       let (kind, args1) =
         match args with
-        | {edesc = C.EConst(CInt(n,_,_))} :: args1 ->
-            if n <= 0L then begin
-              error "ill_formed __builtin_debug"; (1L,args1)
-            end else
+        | {edesc = C.EConst(CInt(n,_,_))} :: args1 when n > 0L ->
               (n, args1)
         | _ -> error "ill_formed __builtin_debug"; (1L, args) in
       let (text, args2) =
-- 
cgit