diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-03-28 09:33:20 +0100 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-03-28 09:33:20 +0100 |
commit | b5dc9d799f8eca793a4fd1d9b5111155ae6af6d8 (patch) | |
tree | b5f910efcd1c2b4be2a0c1a5808c55354e055941 /sos-code-article5/sos/assert.h | |
parent | a21f6c328a4f18e1fa744e40e4c26fa512c90bf7 (diff) | |
download | SOS-b5dc9d799f8eca793a4fd1d9b5111155ae6af6d8.tar.gz SOS-b5dc9d799f8eca793a4fd1d9b5111155ae6af6d8.zip |
Import and compile article5
Diffstat (limited to 'sos-code-article5/sos/assert.h')
-rw-r--r-- | sos-code-article5/sos/assert.h | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/sos-code-article5/sos/assert.h b/sos-code-article5/sos/assert.h new file mode 100644 index 0000000..285554f --- /dev/null +++ b/sos-code-article5/sos/assert.h @@ -0,0 +1,38 @@ +/* Copyright (C) 2004 The KOS Team + + This program 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. + + This program 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 this program; if not, write to the Free Software + Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, + USA. +*/ +#ifndef _SOS_ASSERT_H_ +#define _SOS_ASSERT_H_ + + +void sos_display_fatal_error(const char *format, /* args */...) + __attribute__ ((format (printf, 1, 2), noreturn)); + + +/** + * If the expr is FALSE, print a message and halt the machine + */ +#define SOS_ASSERT_FATAL(expr) \ + ({ \ + int __res=(int)(expr); \ + if (! __res) \ + sos_display_fatal_error("%s@%s:%d Assertion " # expr " failed", \ + __PRETTY_FUNCTION__, __FILE__, __LINE__); \ + }) + + +#endif /* _SOS_ASSERT_H_ */ |