diff options
Diffstat (limited to 'gcc/tree-mudflap.h')
| -rw-r--r-- | gcc/tree-mudflap.h | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/gcc/tree-mudflap.h b/gcc/tree-mudflap.h deleted file mode 100644 index 96f38c40c16..00000000000 --- a/gcc/tree-mudflap.h +++ /dev/null @@ -1,34 +0,0 @@ -/* Mudflap: narrow-pointer bounds-checking by tree rewriting. - Copyright (C) 2001-2013 Free Software Foundation, Inc. - Contributed by Frank Ch. Eigler <fche@redhat.com> - -This file is part of GCC. - -GCC 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 3, or (at your option) any later -version. - -GCC 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 GCC; see the file COPYING3. If not see -<http://www.gnu.org/licenses/>. */ - -#ifndef TREE_MUDFLAP_H -#define TREE_MUDFLAP_H - -/* Instrumentation. */ -extern void mudflap_init (void); -extern void mudflap_enqueue_decl (tree); -extern void mudflap_enqueue_constant (tree); -extern void mudflap_finish_file (void); - -/* Tree node marking. */ -extern int mf_marked_p (tree); -extern tree mf_mark (tree); - -#endif /* TREE_MUDFLAP_H */ |