Jason Merrill Wed, 12 Jun 2013 17:38:00 -0700
Go ahead and apply the patch; it never hurts to make the code more robust.
Jason