1 /* 2 This file is part of ThreadSanitizer, a dynamic data race detector 3 based on Valgrind. 4 5 Copyright (C) 2008-2009 Google Inc 6 opensource (at) google.com 7 8 This program is free software; you can redistribute it and/or 9 modify it under the terms of the GNU General Public License as 10 published by the Free Software Foundation; either version 2 of the 11 License, or (at your option) any later version. 12 13 This program is distributed in the hope that it will be useful, but 14 WITHOUT ANY WARRANTY; without even the implied warranty of 15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 16 General Public License for more details. 17 18 You should have received a copy of the GNU General Public License 19 along with this program; if not, write to the Free Software 20 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 21 02111-1307, USA. 22 23 The GNU General Public License is contained in the file COPYING. 24 */ 25 26 // Author: Konstantin Serebryany. 27 // Note: the rest of ThreadSanitizer is published under the BSD license. 28 29 #ifndef TS_VALGRIND_H_ 30 #define TS_VALGRIND_H_ 31 32 #include <stdint.h> 33 extern "C" { 34 #include "pub_tool_basics.h" 35 #include "pub_tool_libcassert.h" 36 #include "pub_tool_libcbase.h" 37 #include "pub_tool_mallocfree.h" 38 #include "pub_tool_libcprint.h" 39 #include "pub_tool_libcfile.h" 40 #include "pub_tool_libcproc.h" 41 #include "pub_tool_vki.h" 42 #include "pub_tool_threadstate.h" 43 #include "pub_tool_errormgr.h" 44 #include "pub_tool_options.h" 45 #include "pub_tool_machine.h" 46 #include "pub_tool_debuginfo.h" 47 #include "pub_tool_seqmatch.h" 48 #include "pub_tool_tooliface.h" 49 #include "pub_tool_options.h" 50 } // extern "C" 51 #if defined(VGP_arm_linux) 52 // A hacky trick to disable the inclusion of bits/string3.h on ARM. 53 // TODO(glider): this may be specific to Ubuntu 9.10 gcc configuration. 54 #define __USE_FORTIFY_LEVEL 0 55 #endif 56 #endif // TS_VALGRIND_H_ 57 // {{{1 end 58 // vim:shiftwidth=2:softtabstop=2:expandtab 59
