From f0416b3f3cbb2d6b2bdb75348c6992e6e16610e7 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 10 Dec 2016 20:21:29 +0100
Subject: [PATCH] ltsmin: workaround spurious gcc-snapshot warning

* spot/ltsmin/ltsmin.cc: Add an assert.
---
 spot/ltsmin/ltsmin.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/spot/ltsmin/ltsmin.cc b/spot/ltsmin/ltsmin.cc
index 5efb04a95..32d76e547 100644
--- a/spot/ltsmin/ltsmin.cc
+++ b/spot/ltsmin/ltsmin.cc
@@ -1027,6 +1027,8 @@ namespace spot
       }
 
     auto d = std::make_shared<spins_interface>();
+    assert(d); // Superfluous, but Debian's GCC 7 snapshot 20161207-1 warns
+               // about potential null pointer dereference on the next line.
     d->handle = h;