|
From: Bart V. A. <bva...@ac...> - 2014-06-06 08:02:50
|
On 06/06/14 09:33, Dave Ohlsson wrote: > However, the code you posted, and the included comments, match pretty > much what I already did. I'm afraid that means that the instructions for shared pointer annotation in the libstdc++ manual are still broken. See also https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51504 for more information. Bart. |