http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56526
--- Comment #4 from Matt Hargett <matt at use dot net> 2013-03-06 02:06:03 UTC --- It does fix that warning, but there's a bug in the analysis that makes it a false positive. I've had difficulty reducing it to a self-contained example, and I don't have the expertise to do more in-depth debugging. This should stay open until the analysis is done to show that it's an accepted limitation of the warning's capabilities, IMO.
