From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Tue, 13 Mar 2018 17:19:21 +0000 (+0100)
Subject: [INSTR] Move vector* to shared_ptr<vector>.
X-Git-Tag: v3.20~600^2~55
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/4830e201d53af82a0d2722defd50a17363073785?hp=4830e201d53af82a0d2722defd50a17363073785

[INSTR] Move vector* to shared_ptr<vector>.

By initializing an object, for instance of type VarCollTIData,
the vectors containing receive and send counts were deleted
when the TI object was deleted. This is unexpected by a 'normal'
user - by accepting shared_ptrs, this can be ameliorated.

The constructor that still accepts vector* should be removed once
all initializations use the constructor accepting the shared_ptr.
---