Commit 5ea20db6 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

ltlsmin: fix incorrect check for dlsym error

Fix #435 reported by Yann Thierry-Mieg.

* spot/ltsmin/ltsmin.cc (sym): Fix incorrect check introduced
by dc4a4771.
parent 7697adf6
// -*- 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<void**>(dst) = lt_dlsym(h, name);
if (dst == nullptr)
if (*dst == nullptr)
throw std::runtime_error("Failed to resolve symbol '"s
+ name + "' in '" + file + "'.");
};
......
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