Valgrind.hpp

Go to the documentation of this file.

// -*- mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
// vi: set et ts=4 sw=4 sts=4:
/*
  This file is part of the Open Porous Media project (OPM).
 
  OPM is free software: you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 2 of the License, or
  (at your option) any later version.
 
  OPM is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU General Public License for more details.
 
  You should have received a copy of the GNU General Public License
  along with OPM.  If not, see <http://www.gnu.org/licenses/>.
 
  Consult the COPYING file in the top-level source directory of this
  module for the precise wording of the license and the list of
  copyright holders.
*/
#ifndef OPM_VALGRIND_HPP
#define OPM_VALGRIND_HPP
 
#if HAVE_VALGRIND
#include <valgrind/memcheck.h>
#endif
 
namespace Opm {
namespace Valgrind {
inline bool IsRunning()
{
#if !defined NDEBUG && HAVE_VALGRIND
    return RUNNING_ON_VALGRIND;
#else
    return false;
#endif
}
 
template <class T>
inline bool CheckDefined([[maybe_unused]] const T& value)
{
#if !defined NDEBUG && HAVE_VALGRIND
    auto tmp = VALGRIND_CHECK_MEM_IS_DEFINED(&value, sizeof(T));
    return tmp == 0;
#else
    return true;
#endif
}
 
 
 
template <class T>
inline bool CheckAddressable([[maybe_unused]] const T& value)
{
#if !defined NDEBUG && HAVE_VALGRIND
    auto tmp = VALGRIND_CHECK_MEM_IS_ADDRESSABLE(&value, sizeof(T));
    return tmp == 0;
#else
    return true;
#endif
}
 
template <class T>
inline bool CheckDefined([[maybe_unused]] const T* value,
                         [[maybe_unused]] int size)
{
#if !defined NDEBUG && HAVE_VALGRIND
    auto tmp = VALGRIND_CHECK_MEM_IS_DEFINED(value, size*sizeof(T));
    return tmp == 0;
#else
    return true;
#endif
}
 
template <class T>
inline void SetUndefined([[maybe_unused]] const T& value)
{
#if !defined NDEBUG && HAVE_VALGRIND
    VALGRIND_MAKE_MEM_UNDEFINED(&value, sizeof(T));
#endif
}
 
template <class T>
inline void SetUndefined([[maybe_unused]] const T* value,
                         [[maybe_unused]] int size)
{
#if !defined NDEBUG && HAVE_VALGRIND
    VALGRIND_MAKE_MEM_UNDEFINED(value, size*sizeof(T));
#endif
}
 
template <class T>
inline void SetDefined([[maybe_unused]] const T& value)
{
#if !defined NDEBUG && HAVE_VALGRIND
    VALGRIND_MAKE_MEM_DEFINED(&value, sizeof(T));
#endif
}
 
template <class T>
inline void SetDefined([[maybe_unused]] const T* value,
                       [[maybe_unused]] int n)
{
#if !defined NDEBUG && HAVE_VALGRIND
    VALGRIND_MAKE_MEM_DEFINED(value, n*sizeof(T));
#endif
}
 
template <class T>
inline void SetNoAccess([[maybe_unused]] const T& value)
{
#if !defined NDEBUG && HAVE_VALGRIND
    VALGRIND_MAKE_MEM_NOACCESS(&value, sizeof(T));
#endif
}
 
template <class T>
inline void SetNoAccess([[maybe_unused]] const T* value,
                        [[maybe_unused]] int size)
{
#if !defined NDEBUG && HAVE_VALGRIND
    VALGRIND_MAKE_MEM_NOACCESS(value, size*sizeof(T));
#endif
}
 
}} // namespace Valgrind, Opm
 
#endif