#936 Bug in Dune::shared_ptr assignment operator
Metadata
| Property | Value |
|---|---|
| Reported by | Jonathan Youett (youett@mi.fu-berlin.de) |
| Reported at | Jun 23, 2011 08:41 |
| Type | Bug Report |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Last edited by | Oliver Sander (oliver.sander@tu-dresden.de) |
| Last edited at | Jun 24, 2011 09:48 |
| Closed by | Oliver Sander (oliver.sander@tu-dresden.de) |
| Closed at | Jun 24, 2011 09:48 |
| Closed in version | Unknown |
| Resolution | Fixed |
| Comment | Fixed in 6471 (trunk) and 6472 (2.1). Thanks! |
Description
Hi folks,
if you assign a Dune::shared_ptr to another one, the rep_ pointer of "this" is only counted down/deleted if "other".rep_ is not the null ptr. This should be done nevertheless, shouldn't it? I attached a patch against the current trunk that fixes this.
Greets Jonny