alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

tests: fix a gcc-snapshot warning

Browse source 
* tests/core/ikwiad.cc: replace dynamic_pointer_cast by a
static_pointer_cast to get rid of a possible nullptr warning.
This commit is contained in:
Alexandre Duret-Lutz 2021-09-01 14:02:46 +02:00
parent 1de441e8e5
commit d4e3b0bed4
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tests/core/ikwiad.cc
View file

@ -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
<spot::tgta_explicit>(a)->get_ta());
break;
case 12: