Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use dynar instead of dict for storing functions
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 24 Feb 2014 11:03:24 +0000 (12:03 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 24 Feb 2014 11:49:55 +0000 (12:49 +0100)
commitd2153a5d5e08ae057d587354db583072367f686e
tree8dbaf45f5de6dcc6e9b3ffd7170ec9a7c952ca80
parentdae3ef10b31c72c8bf8aaa6288883da7d2646070
[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++);
  * ...
examples/msg/mc/bugged1_liveness_visited.tesh
src/mc/mc_dwarf.c
src/mc/mc_global.c
src/mc/mc_private.h