Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b6595f) | patch
Ignore local variables without type in snapshot.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 15 Feb 2022 12:48:17 +0000 (13:48 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 15 Feb 2022 12:53:02 +0000 (13:53 +0100)
commit8f0539abc14a605bd013f0dd9f775f4288325c8f
treefac6a924b4b3c83c923ccec733c67b7d48e727d3tree | snapshot
parent4b6595f8724c5e1527b8f9574ea064f304780edacommit | diff
Ignore local variables without type in snapshot.

Makes test 's4u-mc-bugged1-liveness' succeed when built with gcc.

Use '--log=mc_snapshot.thres:verbose' to activate the debug message.
AFAICS, the affected variable is parameter 'code' in simcall_blocking.

Note that I would have preferred to correct the DWARF loading code, but
I couldn't figure out what was missing.
src/mc/sosp/Snapshot.cpp diff | blob | history
Clone of SimGrid repository with local patches