From 9b4d51e3dbd97a0805026baa95c4c9b897e853a8 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Tue, 9 Jun 2020 16:29:51 +0200
Subject: [PATCH] cube: prefer value_initialization

* spot/twacube/cube.cc: Here.
---
 spot/twacube/cube.cc | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/spot/twacube/cube.cc b/spot/twacube/cube.cc
index d0c426b0c..b76c08b2b 100644
--- a/spot/twacube/cube.cc
+++ b/spot/twacube/cube.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015, 2016, 2018 Laboratoire de Recherche et Developpement de
-// l'Epita (LRDE).
+// Copyright (C) 2015, 2016, 2018, 2020 Laboratoire de Recherche et
+// Developpement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -36,10 +36,7 @@ namespace spot
 
   cube cubeset::alloc() const
   {
-    auto* res = new unsigned int[2*uint_size_];
-    for (unsigned int i = 0; i < 2*uint_size_; ++i)
-      res[i] = 0;
-    return res;
+    return new unsigned int[2*uint_size_]();
   }
 
   void cubeset::set_true_var(cube c, unsigned int x) const