From 64a0bcebdfec1dc1d53bc58547f9f29f58270678 Mon Sep 17 00:00:00 2001
From: Fabrizio Fabbri <fabrizio.fabbri@gmail.com>
Date: Tue, 16 May 2017 21:58:05 +0200
Subject: [PATCH] fix coverity 1434960 Uninitialized pointer read

https://scan7.coverity.com/reports.htm#v29377/p15116/fileInstanceId=19088397&defectInstanceId=4404042&mergedDefectId=1434960
---
 src/c/numbers/ceiling.d | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/c/numbers/ceiling.d b/src/c/numbers/ceiling.d
index 60d370029..7924d2ac9 100644
--- a/src/c/numbers/ceiling.d
+++ b/src/c/numbers/ceiling.d
@@ -77,6 +77,7 @@ ecl_ceiling2(cl_object x, cl_object y)
   const cl_env_ptr the_env = ecl_process_env();
   cl_object v0, v1;
   cl_type ty;
+  v0 = v1 = Cnil;
   ty = ecl_t_of(y);
   if (ecl_unlikely(!ECL_REAL_TYPE_P(ty))) {
     FEwrong_type_nth_arg(@[ceiling],2, y, @[real]);