From d4e3b0bed4df6bd7f28467b8aabb63da6c4f1dc8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 1 Sep 2021 14:02:46 +0200 Subject: [PATCH] tests: fix a gcc-snapshot warning * tests/core/ikwiad.cc: replace dynamic_pointer_cast by a static_pointer_cast to get rid of a possible nullptr warning. --- tests/core/ikwiad.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/core/ikwiad.cc b/tests/core/ikwiad.cc index d65bfd273..026706aaf 100644 --- a/tests/core/ikwiad.cc +++ b/tests/core/ikwiad.cc @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2007-2019 Laboratoire de Recherche et Développement -// de l'Epita (LRDE). +// Copyright (C) 2007-2019, 2021 Laboratoire de Recherche et +// Développement de l'Epita (LRDE). // Copyright (C) 2003-2007 Laboratoire d'Informatique de Paris 6 // (LIP6), département Systèmes Répartis Coopératifs (SRC), Université // Pierre et Marie Curie. @@ -1249,7 +1249,7 @@ checked_main(int argc, char** argv) switch (output) { case 0: - spot::print_dot(std::cout, std::dynamic_pointer_cast + spot::print_dot(std::cout, std::static_pointer_cast (a)->get_ta()); break; case 12: