re PR target/65697 (__atomic memory barriers not strong enough for __sync builtins)

[gcc.git] / gcc / asan.h

diff --git a/gcc/asan.h b/gcc/asan.h
index 0d9ab8b77a68c820200553c5c62a8ef47c6dde93..10ffaca3b86c213a7541c6fee4a12d413fe16ace 100644 (file)
--- a/gcc/asan.h
+++ b/gcc/asan.h
@@ -1,5 +1,5 @@
 /* AddressSanitizer, a fast memory error detector.
-   Copyright (C) 2011, 2012 Free Software Foundation, Inc.
+   Copyright (C) 2011-2015 Free Software Foundation, Inc.
    Contributed by Kostya Serebryany <kcc@google.com>
 
 This file is part of GCC.
@@ -21,10 +21,88 @@ along with GCC; see the file COPYING3.  If not see
 #ifndef TREE_ASAN
 #define TREE_ASAN
 
-extern void asan_finish_file(void);
+extern void asan_function_start (void);
+extern void asan_finish_file (void);
+extern rtx_insn *asan_emit_stack_protection (rtx, rtx, unsigned int,
+                                            HOST_WIDE_INT *, tree *, int);
+extern bool asan_protect_global (tree);
+extern void initialize_sanitizer_builtins (void);
+extern tree asan_dynamic_init_call (bool);
+extern bool asan_expand_check_ifn (gimple_stmt_iterator *, bool);
+
+extern gimple_stmt_iterator create_cond_insert_point
+     (gimple_stmt_iterator *, bool, bool, bool, basic_block *, basic_block *);
+
+/* Alias set for accessing the shadow memory.  */
+extern alias_set_type asan_shadow_set;
 
 /* Shadow memory is found at
-   (address >> ASAN_SHADOW_SHIFT) + targetm.asan_shadow_offset ().  */
+   (address >> ASAN_SHADOW_SHIFT) + asan_shadow_offset ().  */
 #define ASAN_SHADOW_SHIFT      3
 
+/* Red zone size, stack and global variables are padded by ASAN_RED_ZONE_SIZE
+   up to 2 * ASAN_RED_ZONE_SIZE - 1 bytes.  */
+#define ASAN_RED_ZONE_SIZE     32
+
+/* Shadow memory values for stack protection.  Left is below protected vars,
+   the first pointer in stack corresponding to that offset contains
+   ASAN_STACK_FRAME_MAGIC word, the second pointer to a string describing
+   the frame.  Middle is for padding in between variables, right is
+   above the last protected variable and partial immediately after variables
+   up to ASAN_RED_ZONE_SIZE alignment.  */
+#define ASAN_STACK_MAGIC_LEFT          0xf1
+#define ASAN_STACK_MAGIC_MIDDLE                0xf2
+#define ASAN_STACK_MAGIC_RIGHT         0xf3
+#define ASAN_STACK_MAGIC_PARTIAL       0xf4
+#define ASAN_STACK_MAGIC_USE_AFTER_RET 0xf5
+
+#define ASAN_STACK_FRAME_MAGIC         0x41b58ab3
+#define ASAN_STACK_RETIRED_MAGIC       0x45e0360e
+
+/* Return true if DECL should be guarded on the stack.  */
+
+static inline bool
+asan_protect_stack_decl (tree decl)
+{
+  return DECL_P (decl) && !DECL_ARTIFICIAL (decl);
+}
+
+/* Return the size of padding needed to insert after a protected
+   decl of SIZE.  */
+
+static inline unsigned int
+asan_red_zone_size (unsigned int size)
+{
+  unsigned int c = size & (ASAN_RED_ZONE_SIZE - 1);
+  return c ? 2 * ASAN_RED_ZONE_SIZE - c : ASAN_RED_ZONE_SIZE;
+}
+
+extern bool set_asan_shadow_offset (const char *);
+
+extern void set_sanitized_sections (const char *);
+
+/* Return TRUE if builtin with given FCODE will be intercepted by
+   libasan.  */
+
+static inline bool
+asan_intercepted_p (enum built_in_function fcode)
+{
+  return fcode == BUILT_IN_INDEX
+        || fcode == BUILT_IN_MEMCHR
+        || fcode == BUILT_IN_MEMCMP
+        || fcode == BUILT_IN_MEMCPY
+        || fcode == BUILT_IN_MEMMOVE
+        || fcode == BUILT_IN_MEMSET
+        || fcode == BUILT_IN_STRCASECMP
+        || fcode == BUILT_IN_STRCAT
+        || fcode == BUILT_IN_STRCHR
+        || fcode == BUILT_IN_STRCMP
+        || fcode == BUILT_IN_STRCPY
+        || fcode == BUILT_IN_STRDUP
+        || fcode == BUILT_IN_STRLEN
+        || fcode == BUILT_IN_STRNCASECMP
+        || fcode == BUILT_IN_STRNCAT
+        || fcode == BUILT_IN_STRNCMP
+        || fcode == BUILT_IN_STRNCPY;
+}
 #endif /* TREE_ASAN */