From 5ea20db6b460dc5c448740ef85d388117dc2a2d6 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 17 Oct 2020 20:39:34 +0200 Subject: [PATCH] ltlsmin: fix incorrect check for dlsym error Fix #435 reported by Yann Thierry-Mieg. * spot/ltsmin/ltsmin.cc (sym): Fix incorrect check introduced by dc4a477172. --- spot/ltsmin/ltsmin.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spot/ltsmin/ltsmin.cc b/spot/ltsmin/ltsmin.cc index 96b946f4c..885e9d78d 100644 --- a/spot/ltsmin/ltsmin.cc +++ b/spot/ltsmin/ltsmin.cc @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2011, 2012, 2014-2019 Laboratoire de +// Copyright (C) 2011, 2012, 2014-2020 Laboratoire de // Recherche et Développement de l'Epita (LRDE) // // This file is part of Spot, a model checking library. @@ -1047,7 +1047,7 @@ namespace spot // should not be converted to pointer-to-functions (we have to // assume they can for POSIX). *reinterpret_cast(dst) = lt_dlsym(h, name); - if (dst == nullptr) + if (*dst == nullptr) throw std::runtime_error("Failed to resolve symbol '"s + name + "' in '" + file + "'."); };