Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5bd5ce1) | patch
[mc] Knowledge about the size of pointer types in DWARF
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 May 2015 13:47:57 +0000 (15:47 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 May 2015 13:47:57 +0000 (15:47 +0200)
commit95fb9335846db350cf78689df60bdb1a697bc033
tree8231b56b92ba0ca202d2d6069b01081fe4cf9d30tree | snapshot
parent5bd5ce1bb9c20fd24ae5cd730d717cf1426ce613commit | diff
[mc] Knowledge about the size of pointer types in DWARF

Some compilers do not emit DW_AT_byte_size for DW_TAG_pointer_type, so
we fill this. We currently assume that the model-checked process is in
the same architecture.

This fixes the model-checker in clang.
src/mc/mc_dwarf.cpp diff | blob | history
Clone of SimGrid repository with local patches