Commit c63521d6 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

work around potential null dereference warning

* spot/twaalgos/ltl2taa.cc: Here.
* NEWS: Mention the issue.
parent bb51499b
......@@ -14,6 +14,11 @@ New in spot 2.7.1.dev (not yet released)
possible to iterate over a kripke_graph object in a way similar to
twa_graph.
Build:
- Work around a spurious null dereference warning when compiling
with --coverage and g++ 8.3.0-3 from Debian unstable.
New in spot 2.7.1 (2019-02-14)
Build
......
// -*- coding: utf-8 -*-
// Copyright (C) 2009-2010, 2012-2016, 2018 Laboratoire de Recherche
// et Développement de l'Epita (LRDE).
// Copyright (C) 2009-2010, 2012-2016, 2018-2019 Laboratoire de
// Recherche et Développement de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
//
......@@ -20,6 +20,7 @@
#include "config.h"
#include <utility>
#include <algorithm>
#include <cassert>
#include <spot/tl/unabbrev.hh>
#include <spot/tl/nenoform.hh>
#include <spot/tl/contain.hh>
......@@ -340,6 +341,10 @@ namespace spot
for (unsigned i = 0; i < vs.size(); ++i)
pos[i] = vs[i].succ_.size();
// g++ (Debian 8.3.0-3) 8.3.0 in --coverage mode,
// reports a "potential null pointer dereference" on the next
// line without this assert...
assert(pos.size() > 0);
while (pos[0] != 0)
{
std::vector<formula> u; // Union
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment