src/libpspp/assertion.h

   1 /* PSPP - computes sample statistics.
   2    Copyright (C) 2006 Free Software Foundation, Inc.
   3    and Ben Pfaff <blp@gnu.org>.
   4
   5    This program is free software; you can redistribute it and/or
   6    modify it under the terms of the GNU General Public License as
   7    published by the Free Software Foundation; either version 2 of the
   8    License, or (at your option) any later version.
   9
  10    This program is distributed in the hope that it will be useful, but
  11    WITHOUT ANY WARRANTY; without even the implied warranty of
  12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13    General Public License for more details.
  14
  15    You should have received a copy of the GNU General Public License
  16    along with this program; if not, write to the Free Software
  17    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  18    02110-1301, USA. */
  19
  20 #ifndef __PSPP_ASSERT_H
  21 #define __PSPP_ASSERT_H
  22
  23 #include <stdlib.h>
  24 #include "compiler.h"
  25
  26 #define NOT_REACHED() do { assert (0); abort (); } while (0)
  27
  28 #endif
  29
  30 #include <assert.h>
  31
  32 #ifndef ASSERT_LEVEL
  33 #define ASSERT_LEVEL 2
  34 #endif
  35
  36 #undef expensive_assert
  37 #if ASSERT_LEVEL >= 5
  38 #define expensive_assert(EXPR) assert (EXPR)
  39 #else
  40 #define expensive_assert(EXPR) ((void) 0)
  41 #endif