http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52291
--- Comment #1 from Hubert Tong <hstong at ca dot ibm.com> 2012-02-17 00:37:12 UTC --- I mean that the pseudo-code is not consistent with valid C/C++ when the operands (`*ptr' and `value') are pointer types.
