alloc.c (mark_memory): Do not check with -faddress-sanitizer when

building with Clang.

diff --git a/src/ChangeLog b/src/ChangeLog
index 9b412fd01e3fc571a25f11f3c7a8d7edd137cc16..d0e226db5ddd53e048732c24bd28111b0333785c 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2012-06-26  John Wiegley  <johnw@newartisans.com>
+
+       * alloc.c (mark_memory): Do not check with -faddress-sanitizer
+       when building with Clang.
+
 2012-06-26  Stefan Monnier  <monnier@iro.umontreal.ca>
 
        * eval.c (Fapply): Allow calling it with a single argument.

diff --git a/src/alloc.c b/src/alloc.c
index 7f9574d43d115231028e40fc3ad9e60f00e51818..e1fd479699a0f4bac43ee9b8373ed2437bd52fb3 100644 (file)
--- a/src/alloc.c
+++ b/src/alloc.c
@@ -4621,6 +4621,12 @@ mark_maybe_pointer (void *p)
 
 static void
 mark_memory (void *start, void *end)
+#ifdef __clang__
+  /* Do not allow -faddress-sanitizer to check this function, since it
+     crosses the function stack boundary, and thus would yield many
+     false positives. */
+  __attribute__((no_address_safety_analysis))
+#endif
 {
   void **pp;
   int i;