[mc] Support DWARF4 DW_FORM_sec_offset (found in libpthread_nonshared.a)

Add support to DWARF4 DW_FORM_sec_offset in order to handle DWARF4
libpthread_nonshared.a.

We do not yet handle DWARF3 and 4 but only DWARF2. It is not a big
problem as it is possible to ask GCC to generate DWARF2 with:
-gdwarf-2.

However, even with this option, some static/non-shared libraries might
be included such as libpthread_nonshared.a which might be compiled
with DWARF4 information. This happen in Debian testing (2014-03-06).

   Dwarf_Attribute attr;
   dwarf_attr_integrate(child, DW_AT_data_member_location, &attr);
-  int form  = dwarf_whatform(&attr);
+  int form = dwarf_whatform(&attr);
   int klass = MC_dwarf_form_get_class(form);
   switch (klass) {
   case MC_DW_CLASS_EXPRLOC:
@@ -850,7 +850,8 @@ static dw_variable_t MC_die_to_variable(mc_object_info_t info, Dwarf_Die* die, D
   variable->name = xbt_strdup(MC_dwarf_attr_string(die, DW_AT_name));
   variable->type_origin = MC_dwarf_at_type(die);

-  int klass = MC_dwarf_form_get_class(dwarf_whatform(&attr_location));
+  int form = dwarf_whatform(&attr_location);
+  int klass = form == DW_FORM_sec_offset ? MC_DW_CLASS_CONSTANT : MC_dwarf_form_get_class(form);
   switch (klass) {
   case MC_DW_CLASS_EXPRLOC:
   case MC_DW_CLASS_BLOCK:
@@ -882,8 +883,8 @@ static dw_variable_t MC_die_to_variable(mc_object_info_t info, Dwarf_Die* die, D
     variable->location = MC_dwarf_get_location_list(info, die, &attr_location);
     break;
   default:
-    xbt_die("Unexpected calss 0x%x (%i) list for location in <%p>%s",
-      klass, klass, (void*) variable->dwarf_offset, variable->name);
+    xbt_die("Unexpected form 0x%x (%i), class 0x%x (%i) list for location in <%p>%s",
+      form, form, klass, klass, (void*) variable->dwarf_offset, variable->name);
   }

   // The current code needs a variable name,

Merge bugfix from branch mc-refactor

Conflicts:
src/xbt/mmalloc/mm_diff.c

Merge branches 'mc'

[mc] Fix format strings

Merge bugfix

[mc] Fix buf introduces by previous commit

Comparing a size with a DIE tag.

model-checker : smpi examples for the communication pattern detection

model-checker : print comm pattern

model-checker : use separate configuration flags for comm determinism and send determinism detection

model-checker : check if action not NULL before using it

[mc] Move MC_ignore_local_variable and MC_ignore_global_variable to initialisation code

[mc] Add missing DW_FORM_data1 (enable C++ support)

For some reason DW_FORM_data1 was only used in C++ compile units.

Merge branch 'mc-perf' into mc

Fix compilation

[mc] Avoid resolving TLS over and over again

[mc] Merge add_compared_pointers and already_compared_pointers into add_compared_pointers

Avoid doing the binary search twice.

[mc] Avoid (slow) type lookups by name or ID (xbt_dict_get_or_null)

[mc] Move mc_find_frame_base in mc_dwarf.c where it belongs

[mc] Use resolved addresses in entry.low_pc and entry.high_pc

[mc] Use resolved addresses in frame->low_pc and frame->high_pc

[mc] Do not waste time calling libunwind get_proc_name in the hot spots

In typical executions, nearly 50% of the time was spent in libunwind
get_proc_name.

The algorithm to find the function for a given IP (instruction
pointer) was:

  (proc_name, offset) = get_proc_name(ip) // Slow!
  dwarf_ip = ip - offset
  function = functions_by_name[proc_name]

We added a structure mapping IP ranges to functions and the algorithm
is now:

  function = functions_by_ip[ip]

Instead of relying on libunwind, we use the DWARF information to find
the corresponding DWARF TAG_subprogram DIEs directly.

The secution time on some MPICH tests is nearly halved.

Notes:

 * It was necessary to disable the support for inlined_subprograms
   which was broken anyway: the inlined_subprogram entries should be
   stored as children of their parent subprogram (as a block). We need
   to add support for scope blocks inside a suprogram to handle this
   correctly.

 * Currently the translation between process virtual addresses and
   DWARF virtual addresses is handled in many different places. We
   should change this to process it only when parsing the DWARF DIEs
   and be done with it.

model-checker : conflit

model-checker : minor fix

model-checker : new configuration flag for the detection of determinism in communications schemes

model-checker : remove or comment some printf

model-checker : fix comm destroy for send detached and MC enabled

model-checker : try to fix the model-checker in case of send detached

model-checker : wait with timeout is always dependant with another transition

fix debug log

model-checker : use MC_assert instead of assert for the verification of mpich3 integrated tests

[mc] Avoid parsing /proc/self/maps if possible (continued)

[mc] Fix get_object_info

Some part of the RW segment was not included (the .bss).

[mc] Avoid parsing /proc/self/maps if possible

[mc] Doxygen mc_dpor.c (and some mc_liveness.c)

[mc] Disable MC_DEBUG (enabled by mistake)

[mc] Make usage of state hash a runtime parameter (instead of compile-time)

"off" by default.

[mc] Code for evaluation of the impact of the hash

Generate log for evaluating the result of the test:
* true positive;
* true negative;
* false negative (there must not be any of them);
* false positive (should be minimised).

[mc] Cache stack unwindinwg

Too much time is spent in libunwind.

[mc] Fix broken type lookup code

Merge branch 'mc' into mc-perf

[mc] Remove useless code (get SP register)

[mc] Use optimized local implementation of libuwind (UNW_LOCAL_ONLY)

[mc] Restore old behaviour when comparing pointers leading to different segments

Do not terminate the program but assume the state is different.

[mc] Fix sefault where a variable has no name

This happen when optimisation is enabled.

As the current code needs a name for the variable, we generate a fake
one. We might want to remove this assumption.

Merge branch mc into mc-perf

[mc] Split address/location in dw_variable_t (which were in a union)

[mc] Fix segfaults when type->name==NULL

[mc] Disable communication pattern code (segfault)

[mc] Remove dead code for ignoring variables

[mc] Remove old hash code

[mc] Avoid useless zero-initialisations in the hot spot

[mc] Avoid type lookups and calls to get_type_description()

Faster and cache-friendlier.

[mc] Pass mc_object_info_t arguiments in many places intead of info->types

Preparation to remove get_type_description() calls which are very
inneficient.

[mc] Preprocess type lookup

Avoid looking up the types in the dictionnaries.

[mc] Compute a single hash (64 bits) of the current state

This is an attempt to speedup state comparison by using
a very fast first pass.

Compared to previous attempt:

* use a simple 64 bits djb2 hash instead of SHA-1;
* add has much info as possible into the hash;
* do not add anything suspicious;
* it could be used for efficient state comparison
  * index for hashtable,
  * cache-friendly data-structure.

[mc] Remove code for finding an array byte size

This was useless as it was already handled by libdw dwarf_aggregate_size.

[mc] Fix broken type in compare_heap_area_with_type

[mc] Enforce some assumption about the relationship of the compared areas in compare_areas_with_type

Compare_areas_with_type expects that either :

 * both area are in the heap;
 * both area are in the current segment R/W segment.

Otherwise, it falls back to comparing pointers.

Changes to code to fail if both areas are not in the same segment

[mc] Add comments to compare_areas_with_type

[mc] Do not ignore DW_TAG_const_type

[mc] In compare_global_variables only compare values in the R/W segment

The algorithme is only relevant if the variable is in the R/W segment
otherwise the resulting pointer will be broken and might result in a
SIGSEV.

This happen if we try to compare a pointer on the .rodata (such as
__FUNCTION__).

Values are supposed to be constant and we do not expect to find
pointers to something which is not reachable by the global variables.

[mc] DRY in snapshot_compare

[mc] Have a more complete/accurate view of an given object mapping in memory

* Change the terminology (exec/rw instead of text/data)
  as we do not have information about the sections but only
  about the segments.

 * Add information about the read only segment.

[mc] Fix element count computation for a givena array dimension

element_count = upper_bound - lower_bound + 1

and not

element_count = upper_bound - lower_bound

[mc] Fix handling of location

The handling of member offsets was broken (DW_AT_data_member_location)
and was always 0.

Add support for the class of a given attribute value.

[mc] Comment logging in order to fix the unit tests

Merge remote-tracking branch 'origin/libdw2'

[mc] Add DW_TAG_formal_parameter as variables in the frames

[mc] Use literal values in DWARF constant to name mappings

[mc] Cleanup mc_dwarf.c

[mc] Remove useless argument in MC_dwarf_at_location

[mc] Add comments/doxygen

[mc] Free memory for object_info

[mc] Remove objdump code

[mc] Remove code for location of .plt and .got.plt

This code was not used anyway. If necessary a new solution which do
not depend on objdump should be used.

[mc] Use libdw for location list

[mc] Use libdw for functions and local variables

[mc] Use libdw for global variables

[mc] Deduplicate address location resolution in MC_dwarf_resolve_location()

[mc] Remove MC_dwarf_tag_type()

[mc] Add dwarf_global field to dw_variable_t

It is a better (but not perfect) identifier for a entry.

[mc] libdwarf integration for types

[mc] Use DWARF constants for type tags

[mc] Link against libdw

[mc] Fix warnings

model-checker : first steps for the study of MPI communications patterns

[mc] Split byte_size and element_count in mc_object_info_t

[mc] Remove type DW_TAG_enumerator type (because it is not a type)

[mc] Remove spurious return in MC_find_object_address

[mc] Add comments

[mc] Restore lightweight MC initialisation procedure

[mc] Cleanup mc_object_info_t code

[mv] Remove global {start,end}_{plt,got}_{libsimgrid,binary}

[mc] Add plt/got in mc_object_info_t

[mc] Move start_text, start_data, start_bss into mc_object_info_t

[mc] Include ELF file name in object_info_t

[mc] Remvove mc_{global_variables,local_variables,variables_type}_{libsimgrid,binary}

[mc] Do not use mc_{global_variables,local_variables,variables_type}_{libsimgrid,binary}

[mc] Refactor, group some informations about a given ELF in mc_object_info_t

[mc] Use LANG=C when calling objdump

The output of objdump change with the locale and the parser fails with some locales.

Conflicts:
src/mc/mc_checkpoint.c