common.hpp

Go to the documentation of this file.

/*
 * Copyright 2014 Nico Reißmann <nico.reissmann@gmail.com>
 * See COPYING for terms of redistribution.
 */
 
#ifndef JLM_UTIL_COMMON_HPP
#define JLM_UTIL_COMMON_HPP
 
#include <cassert>
#include <iostream>
#include <stdexcept>
 
#ifdef JLM_ENABLE_ASSERTS
#define JLM_ASSERT(x) assert(x)
#else
#define JLM_ASSERT(x) \
  do                  \
  {                   \
  } while (0 && (x))
#endif
 
#define JLM_NORETURN __attribute__((noreturn))
 
namespace jlm
{
 
JLM_NORETURN static inline void
unreachable(const char * msg, const char * file, unsigned line)
{
  if (msg)
    std::cerr << msg << "\n";
 
  std::cerr << "UNREACHABLE executed";
 
  if (file)
    std::cerr << " at " << file << ":" << line << "\n";
 
  abort();
}
 
}
 
#define JLM_UNREACHABLE(msg) jlm::unreachable(msg, __FILE__, __LINE__)
 
namespace jlm::util
{
 
template<class To, class From>
static inline To *
assertedCast(From * value)
{
  JLM_ASSERT(dynamic_cast<To *>(value));
  return static_cast<To *>(value);
}
 
class Error : public std::runtime_error
{
public:
  ~Error() noexcept override;
 
  explicit Error(const std::string & msg)
      : std::runtime_error(msg)
  {}
};
 
class TypeError : public Error
{
public:
  ~TypeError() noexcept override;
 
  TypeError(const std::string & expected_type, const std::string & received_type)
      : Error("Type error - expected : " + expected_type + ", received : " + received_type)
  {}
};
 
}
 
#endif