Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix a few dead stores spotted by fbinfer.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 16 Jan 2021 17:34:44 +0000 (18:34 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sun, 17 Jan 2021 22:35:59 +0000 (23:35 +0100)
commitdce703bcd29ea7b8aa57d831bd228837c8d71004
tree42e3f2802f32cf44fcb90e7802c8bb9413fe32c1
parent1c017130b99530347566f9e070051d6edee8aad5
Fix a few dead stores spotted by fbinfer.
src/surf/surf_c_bindings.cpp
src/surf/xml/surfxml_sax_cb.cpp
src/xbt/xbt_str_test.cpp