java/10253: String concatenation with int zero, as in ""+0, results in the empty string.

[ericb@gcc.gnu.org]

Synopsis: String concatenation with int zero, as in ""+0, results in the empty string.

State-Changed-From-To: analyzed->closed
State-Changed-By: ericb
State-Changed-When: Thu Apr 10 23:53:05 2003
State-Changed-Why:
    Patch committed.

http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=10253