-/* Copyright (c) 2014-2015. The SimGrid Team.
+/* Copyright (c) 2014-2017. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
/* For an executable object, addresses are virtual address
* (there is no offset) i.e.
- * \f$\text{virtual address} = \{dwarf address}\f$;
+ * \f$\text{virtual address} = \{dwarf address}\f$
*
* For a shared object, the addreses are offset from the begining
* of the shared object (the base address of the mapped shared
int cmp = current_var.name.compare(name);
if (cmp == 0) {
-
+
// Find the whole range:
size_type first = cursor;
while (first != 0 && this->global_variables[first - 1].name == name)
size_type last = cursor;
while (last != size - 1 && this->global_variables[last + 1].name == name)
last++;
-
+
// Remove the whole range:
this->global_variables.erase(
this->global_variables.begin() + first,
this->global_variables.begin() + last + 1);
-
+
return;
} else if (cmp < 0)
first = cursor + 1;