Added file header and adjusted indentation.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11607

diff --git a/drd/drd_darwin_intercepts.c b/drd/drd_darwin_intercepts.c
index c95579039e526f723d8d9ac937aad735d2f190d6..c09fb8a14c81990cdba9b16413e65f08e41447a4 100644 (file)
--- a/drd/drd_darwin_intercepts.c
+++ b/drd/drd_darwin_intercepts.c
@@ -1,3 +1,27 @@
+/* -*- mode: C; c-basic-offset: 3; -*- */
+/*
+  This file is part of drd, a thread error detector.
+
+  Copyright (C) 2006-2011 Bart Van Assche <bvanassche@acm.org>.
+
+  This program 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 2 of the
+  License, or (at your option) any later version.
+
+  This program 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 this program; if not, write to the Free Software
+  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
+  02111-1307, USA.
+
+  The GNU General Public License is contained in the file COPYING.
+*/
+
 #include <stdint.h>
 #include <stdio.h>
 #include "valgrind.h"
@@ -18,14 +42,14 @@ void* VG_WRAP_FUNCTION_ZZ(dyld, ZuZZN4dyld18fastBindLazySymbolEPP11ImageLoaderm)
 void* VG_WRAP_FUNCTION_ZZ(dyld, ZuZZN4dyld18fastBindLazySymbolEPP11ImageLoaderm)
      (void** imageLoaderCache, uintptr_t lazyBindingInfoOffset)
 {
-  void* res;
-  OrigFn fn;
+   void* res;
+   OrigFn fn;
   
-  VALGRIND_GET_ORIG_FN(fn);
+   VALGRIND_GET_ORIG_FN(fn);
 
-  ANNOTATE_IGNORE_READS_AND_WRITES_BEGIN();
-  CALL_FN_W_WW(res, fn, imageLoaderCache, lazyBindingInfoOffset);
-  ANNOTATE_IGNORE_READS_AND_WRITES_END();
+   ANNOTATE_IGNORE_READS_AND_WRITES_BEGIN();
+   CALL_FN_W_WW(res, fn, imageLoaderCache, lazyBindingInfoOffset);
+   ANNOTATE_IGNORE_READS_AND_WRITES_END();
 
-  return res;
+   return res;
 }