www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 5999] New: Inconsistent equality with array of NaNs between runtime and CTFE

reply d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=5999

           Summary: Inconsistent equality with array of NaNs between
                    runtime and CTFE
           Product: D
           Version: D2
          Platform: Other
        OS/Version: Mac OS X
            Status: NEW
          Keywords: wrong-code
          Severity: minor
          Priority: P2
         Component: druntime
        AssignedTo: nobody puremagic.com
        ReportedBy: kennytm gmail.com


--- Comment #0 from kennytm gmail.com 2011-05-14 07:33:25 PDT ---
In CTFE, an array of NaN will not be equal to itself. However, this return
'true' in the runtime:

-----------------------------------------------
bool f() {
    float[] h = [float.nan];
    float[] i = [float.nan];
    return h == i;
}
void main() {
    static assert(!f());    // ctfe is OK
    assert(!f());           // runtime asserts
}
-----------------------------------------------

The CTFE and runtime result should be consistent.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
May 14 2011
next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=5999


Paul D. Anderson <paul.d.anderson comcast.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |paul.d.anderson comcast.net


--- Comment #1 from Paul D. Anderson <paul.d.anderson comcast.net> 2011-06-14
14:01:19 PDT ---
At the risk of stating the obvious, the correct result for a NaN compared to
itself is false. I would assume (correct me if I'm wrong) that an array of NaN
compared to itself would therefore also be false, since each element is != to
itself. That is, the runtime assert is correct and the CTFE is incorrect.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jun 14 2011
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=5999


Don <clugdbug yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |clugdbug yahoo.com.au


--- Comment #2 from Don <clugdbug yahoo.com.au> 2011-06-14 14:22:33 PDT ---
(In reply to comment #1)
 At the risk of stating the obvious, the correct result for a NaN compared to
 itself is false. I would assume (correct me if I'm wrong) that an array of NaN
 compared to itself would therefore also be false, since each element is != to
 itself. 
Yes.
That is, the runtime assert is correct and the CTFE is incorrect.
I think you misread the code. CTFE returns not equal, runtime returns equal. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jun 14 2011
prev sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=5999


Walter Bright <bugzilla digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla digitalmars.com


--- Comment #3 from Walter Bright <bugzilla digitalmars.com> 2012-01-20
22:05:03 PST ---
Yes, the runtime is in error here.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jan 20 2012