X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f2df13795e01302813a6aef10825ec7e922ce530..978a9da87ac03ecca12d6980e56b8f31989f2bdf:/src/mc/mc_member.c

diff --git a/src/mc/mc_member.c b/src/mc/mc_member.c
index d89456718a..bc2436a260 100644
--- a/src/mc/mc_member.c
+++ b/src/mc/mc_member.c
@@ -1,3 +1,9 @@
+/* Copyright (c) 2014. The SimGrid Team.
+ * All rights reserved.                                                     */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
 #include "mc_private.h"
 
 /** Resolve snapshot in the process address space
@@ -8,9 +14,11 @@
  * @param snapshot Snapshot (or NULL)
  * @return Process address of the given member of the 'object' struct/class
  */
-void* mc_member_resolve(const void* base, dw_type_t type, dw_type_t member, mc_snapshot_t snapshot) {
-  if(!member->location.size) {
-    return ((char*) base) + member->offset;
+void *mc_member_resolve(const void *base, dw_type_t type, dw_type_t member,
+                        mc_snapshot_t snapshot)
+{
+  if (!member->location.size) {
+    return ((char *) base) + member->offset;
   }
 
   s_mc_expression_state_t state;
@@ -21,12 +29,13 @@ void* mc_member_resolve(const void* base, dw_type_t type, dw_type_t member, mc_s
   state.stack_size = 1;
   state.stack[0] = (uintptr_t) base;
 
-  if(mc_dwarf_execute_expression(member->location.size, member->location.ops, &state))
+  if (mc_dwarf_execute_expression
+      (member->location.size, member->location.ops, &state))
     xbt_die("Error evaluating DWARF expression");
-  if(state.stack_size==0)
+  if (state.stack_size == 0)
     xbt_die("No value on the stack");
   else
-    return (void*) state.stack[state.stack_size-1];
+    return (void *) state.stack[state.stack_size - 1];
 }
 
 /** Resolve snapshot in the snapshot address space
@@ -37,15 +46,18 @@ void* mc_member_resolve(const void* base, dw_type_t type, dw_type_t member, mc_s
  * @param  snapshot Snapshot (or NULL)
  * @return Snapshot address of the given member of the 'object' struct/class
  */
-void* mc_member_snapshot_resolve(const void* object, dw_type_t type, dw_type_t member, mc_snapshot_t snapshot) {
-  if(!member->location.size) {
-    return (char*) object + member->offset;
+void *mc_member_snapshot_resolve(const void *object, dw_type_t type,
+                                 dw_type_t member, mc_snapshot_t snapshot)
+{
+  if (!member->location.size) {
+    return (char *) object + member->offset;
   } else {
     // Translate the problem in the process address space:
-    void* real_area = (void*) mc_untranslate_address((void *)object, snapshot);
+    void *real_area =
+        (void *) mc_untranslate_address((void *) object, snapshot);
     // Resolve the member in the process address space:
-    void* real_member = mc_member_resolve(real_area, type, member, snapshot);
+    void *real_member = mc_member_resolve(real_area, type, member, snapshot);
     // Translate back in the snapshot address space:
-    return mc_translate_address((uintptr_t)real_member, snapshot);
+    return mc_translate_address((uintptr_t) real_member, snapshot);
   }
 }