Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix sefault where a variable has no name
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 7 Feb 2014 14:44:15 +0000 (15:44 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 7 Feb 2014 14:46:36 +0000 (15:46 +0100)
commit57d96d2cf3a593395ef6657f07c06b57dcdac400
treec788ef5276b023e02a3e7ee483fcaf5c2582937a
parent7db2327a25dd339d72e5be32a44190d3b2191577
[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.
src/mc/mc_dwarf.c