java/4022: ?: precedence is wrong.

java/4022: ?: precedence is wrong.

[apbianco]

>Number:         4022
>Category:       java
>Synopsis:       ?: precedence is wrong.
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Aug 14 12:46:01 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Alex Petit-Bianco
>Release:        3.0 and trunk.
>Organization:
>Environment:
Most likely all. x86/linux definitively.
>Description:
Consider this test case:

public class Test {
    public static void main(String[] args) {
        String s = null;
        System.out.println("foo" + s != null ? s : "");
    }
}

$ ./test
null

When enclosed in parentheses, it behaves normally:

    System.out.println("foo" + (s != null ? s : ""));

$ ./test
foo

A core dump happens when this is done in a toString method:

public class Test {
    public static void main(String[] args) {
        System.out.println(new Test());
    }

    public String toString() {
        String s = null;
        return "foo" + s != null ? s : "";
    }
}

>How-To-Repeat:
Build the examples above.
>Fix:
Not yet.
>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="null"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="null"

Re: java/4022: ?: precedence is wrong.

[tromey]

Synopsis: ?: precedence is wrong.

Responsible-Changed-From-To: unassigned->tromey
Responsible-Changed-By: tromey
Responsible-Changed-When: Thu Aug 16 10:32:27 2001
Responsible-Changed-Why:
    I handled it.
State-Changed-From-To: open->closed
State-Changed-By: tromey
State-Changed-When: Thu Aug 16 10:32:27 2001
State-Changed-Why:
    This isn't a bug.
    `+' has higher precedence than `?:'.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4022&database=gcc

Re: java/4022: ?: precedence is wrong.

[Daniel Jacobowitz]

The following reply was made to PR java/4022; it has been noted by GNATS.

From: Daniel Jacobowitz <drow@mvista.com>
To: apbianco@redhat.com
Cc: gcc-gnats@gcc.gnu.org, mjr@anarcast.net
Subject: Re: java/4022: ?: precedence is wrong.
Date: Wed, 15 Aug 2001 23:46:49 -0700

 On Tue, Aug 14, 2001 at 07:39:18PM -0000, apbianco@redhat.com wrote:
 > >Description:
 > Consider this test case:
 > 
 > public class Test {
 >     public static void main(String[] args) {
 >         String s = null;
 >         System.out.println("foo" + s != null ? s : "");
 >     }
 > }
 > 
 > $ ./test
 > null
 > 
 > When enclosed in parentheses, it behaves normally:
 > 
 >     System.out.println("foo" + (s != null ? s : ""));
 > 
 > $ ./test
 > foo
 
 I could be wrong, since my Java is rusty, but that's not the precedence
 of ?:.  + has lower precedence than !=.  "foo" + s is not equal to
 null, so s is printed, which is null.
 
 
 -- 
 Daniel Jacobowitz                           Carnegie Mellon University
 MontaVista Software                         Debian GNU/Linux Developer

Re: java/4022: ?: precedence is wrong.

[Tom Tromey]

The following reply was made to PR java/4022; it has been noted by GNATS.

From: Tom Tromey <tromey@redhat.com>
To: apbianco@redhat.com
Cc: gcc-gnats@gcc.gnu.org, mjr@anarcast.net
Subject: Re: java/4022: ?: precedence is wrong.
Date: 15 Aug 2001 21:02:53 -0600

 I'm not convinced this is really a bug.
 There is a thread on this topic:
 
     http://gcc.gnu.org/ml/java/2001-08/msg00059.html
 
 Tom