1 
2 /*--------------------------------------------------------------------*/
3 /*--- A minimal setjmp/longjmp facility.     pub_core_libcsetjmp.h ---*/
4 /*--------------------------------------------------------------------*/
5 
6 /*
7    This file is part of Valgrind, a dynamic binary instrumentation
8    framework.
9 
10    Copyright (C) 2010-2017 Mozilla Inc
11 
12    This program is free software; you can redistribute it and/or
13    modify it under the terms of the GNU General Public License as
14    published by the Free Software Foundation; either version 2 of the
15    License, or (at your option) any later version.
16 
17    This program is distributed in the hope that it will be useful, but
18    WITHOUT ANY WARRANTY; without even the implied warranty of
19    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
20    General Public License for more details.
21 
22    You should have received a copy of the GNU General Public License
23    along with this program; if not, write to the Free Software
24    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
25    02111-1307, USA.
26 
27    The GNU General Public License is contained in the file COPYING.
28 */
29 
30 /* Contributed by Julian Seward <jseward@acm.org> */
31 
32 #ifndef __PUB_CORE_LIBCSETJMP_H
33 #define __PUB_CORE_LIBCSETJMP_H
34 
35 //--------------------------------------------------------------------
36 // PURPOSE: Provides a minimal setjmp/longjmp facility, that saves/
37 // restores integer registers, but not necessarily anything more.
38 //--------------------------------------------------------------------
39 
40 // No core-only exports; everything in this module is visible to both
41 // the core and tools.
42 
43 #include "pub_tool_libcsetjmp.h"
44 
45 #endif   // __PUB_CORE_LIBCSETJMP_H
46 
47 /*--------------------------------------------------------------------*/
48 /*--- end                                    pub_core_libcsetjmp.h ---*/
49 /*--------------------------------------------------------------------*/
50