Re: C++ PATCH: 14035

[Tom Tromey <tromey at redhat dot com>]

>>>>> "Andrew" == Andrew Haley <aph@redhat.com> writes:

>> Space after the cast please.

Andrew> Uh, really?  Is this some convention I don't know about?

I don't know, I've always written `(cast) value'.  I don't see that in
the GNU coding standards (which are really quite vague and don't
describe actual historical GNU usage very well).  My theory has been
that it falls under the "spaces around operators" rule, which itself
isn't documented.  However, the cast rule is listed here:

http://gcc.gnu.org/codingconventions.html

... not that we've ever claimed to use this for libgcj.
For instance I've usually written `! value' instead of the gcc-style
`!value'.

Tom