[mc] Handle DW_AT_start_scope (for constants)

[mc] Handle DW_TAG_namespace (C++)

[mc] Basic namespace support (for types)

[mc] Do not use linkage_name as a name

If needed, it would be better to use a separate field.

[mc] Add MC_dwarf_tag_classify()

Add MC_dwarf_tag_classify(tag) which regroupe different similar
DW_TAG_* items classes. This is in preparation for upcoming
modifications of the DIE handling code.

[mc] Do not try to handle scopes inside a subprogram

The variables of a subprogram scopes were merged in the information
about subprogram without any information on its range of validity (for
which range of IP the variable is valid).

As this handling of scopes was broken, this commit ignore the scopes within a
subprogram.

We need to:

  * either add frame_t as child of frame_t to represent scope;

  * or attach validity information on each variables

    This one is needed anyway in order to handle DW_AT_start_scope.

  * or both.

    Use frame_t for DW_TAG_inlined_subprogram and validity range for
    real scope.

-    if(dwarf_offdie(dwarf, offset+length, &die)!=NULL) {
-      MC_dwarf_handle_die(info, &die, &die, NULL);
+    if(dwarf_offdie(dwarf, offset+length, &unit_die)!=NULL) {
+      Dwarf_Die child;
+      int res;
+      for (res=dwarf_child(&unit_die, &child); res==0; res=dwarf_siblingof(&child,&child)) {
+        MC_dwarf_handle_die(info, &child, &unit_die, NULL);
+      }
     }
     offset = next_offset;
   }

[mc] Use dynar instead of dict for storing functions

Multiple instances of the same function with the same name can be
found in a given program:

  * different local static functions;
  * same inline functions;
  * overloads (C++);
  * ...

[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.

[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.

[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] Remove type DW_TAG_enumerator type (because it is not a type)

[mc] Split byte_size and element_count in mc_object_info_t

[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

[mc] Add some documentation to the MC DWARF code

[mc] Fix bug in recurive call of compare_heap_area_with_type

When comparing arrays, the number of elements of the array was passed instead of the size of the elements.

[mc] Fix bug when parsing /proc/self/maps

Sometimes, the heap is not found by the MC :

* the MC expects the heap to be anonymous/unlabelled in
  /proc/self/maps;

* the heap may be labelled as as [stack:$tid] in /proc/self/maps at
  some instants of the execution of the program because the tasks
  stacks are allocated on the heap.

[mc] Fix broken objdump parser with new versions of objdump

objdump -Wo used to produce this:

     Offset   Begin    End      Expression
     00000000 000000000040149c 000000000040149d (DW_OP_breg7 (rsp): 8)
     00000000 000000000040149d 00000000004014a0 (DW_OP_breg7 (rsp): 16)
     00000000 00000000004014a0 00000000004014ba (DW_OP_breg6 (rbp): 16)
     00000000 00000000004014ba 00000000004014bb (DW_OP_breg7 (rsp): 8)
     00000000 <End of list>
     00000060 00000000004014bb 00000000004014bc (DW_OP_breg7 (rsp): 8)
     00000060 00000000004014bc 00000000004014bf (DW_OP_breg7 (rsp): 16)
     00000060 00000000004014bf 00000000004014c6 (DW_OP_breg6 (rbp): 16)
     00000060 00000000004014c6 00000000004014c7 (DW_OP_breg7 (rsp): 8)
     00000060 <End of list>
     000000c0 00000000004014c7 00000000004014c8 (DW_OP_breg7 (rsp): 8)
     000000c0 00000000004014c8 00000000004014cb (DW_OP_breg7 (rsp): 16)
     000000c0 00000000004014cb 00000000004014d2 (DW_OP_breg6 (rbp): 16)
     000000c0 00000000004014d2 00000000004014d3 (DW_OP_breg7 (rsp): 8)
     000000c0 <End of list>
     00000120 00000000004014d3 00000000004014d4 (DW_OP_breg7 (rsp): 8)
     00000120 00000000004014d4 00000000004014d7 (DW_OP_breg7 (rsp): 16)
     00000120 00000000004014d7 00000000004018c0 (DW_OP_breg6 (rbp): 16)
     00000120 <End of list>

but now we get this:

    Offset   Begin    End      Expression
    00000000 0000000000401252 0000000000401253 (DW_OP_breg7 (rsp): 8)
    00000014 0000000000401253 0000000000401256 (DW_OP_breg7 (rsp): 16)
    00000028 0000000000401256 0000000000401270 (DW_OP_breg6 (rbp): 16)
    0000003c 0000000000401270 0000000000401271 (DW_OP_breg7 (rsp): 8)
    00000050 <End of list>
    00000060 0000000000401271 0000000000401272 (DW_OP_breg7 (rsp): 8)
    00000074 0000000000401272 0000000000401275 (DW_OP_breg7 (rsp): 16)
    00000088 0000000000401275 000000000040127c (DW_OP_breg6 (rbp): 16)
    0000009c 000000000040127c 000000000040127d (DW_OP_breg7 (rsp): 8)
    000000b0 <End of list>
    000000c0 000000000040127d 000000000040127e (DW_OP_breg7 (rsp): 8)
    000000d4 000000000040127e 0000000000401281 (DW_OP_breg7 (rsp): 16)
    000000e8 0000000000401281 0000000000401288 (DW_OP_breg6 (rbp): 16)
    000000fc 0000000000401288 0000000000401289 (DW_OP_breg7 (rsp): 8)
    00000110 <End of list>
    00000120 0000000000401289 000000000040128a (DW_OP_breg7 (rsp): 8)
    00000134 000000000040128a 000000000040128d (DW_OP_breg7 (rsp): 16)
    00000148 000000000040128d 00000000004016a1 (DW_OP_breg6 (rbp): 16)
    0000015c <End of list>
    0000016c 00000000004016a1 00000000004016a2 (DW_OP_breg7 (rsp): 8)
    00000180 00000000004016a2 00000000004016a5 (DW_OP_breg7 (rsp): 16)
    00000194 00000000004016a5 0000000000401bd7 (DW_OP_breg6 (rbp): 16)
    000001a8 <End of list>
    000001b8 0000000000401bd7 0000000000401bd8 (DW_OP_breg7 (rsp): 8)
    000001cc 0000000000401bd8 0000000000401bdb (DW_OP_breg7 (rsp): 16)
    000001e0 0000000000401bdb 0000000000401ced (DW_OP_breg6 (rbp): 16)
    000001f4 0000000000401ced 0000000000401cee (DW_OP_breg7 (rsp): 8)
    00000208 <End of list>

The offset is not stable in a given list.

Release version 3.10-rc2.

This part is not relevant anymore.

Give smpiff the directory to libf2c.
(cherry picked from commit 1848d40fafafab07f8c798116d5c507065f4c97b)

Don't add include directories when f77 support is disabled.
(cherry picked from commit 482244d2827841bb565348470beb8167c7558337)

Try to fix temp file creation.
(cherry picked from commit 0be4d91dea4f9aeb5e9e298dc579d4ba2b03a2b7)

be a little more tricky and hopefully more portable
(cherry picked from commit 3e7047f7353ca1853d3eb5415264714a0315a8d4)

more bash->sh changes
(cherry picked from commit 65f30b16e0e4b23e41c6306290bc3f04f66986a8)

thanks to Matthieu Volat, freebsd build may work again. If it doesn't, blame him
(cherry picked from commit afa65d266d24d09dce77e5a2e40dec5abdd791b7)

flto has not the right effect with clang
(cherry picked from commit 56d1e384b07f2eacd980c30a447504cdf5f1d6ef)

I blame someone else for this
(cherry picked from commit 9e330fa625482e41928374164d70cdd209f3f0c7)