// Copyright 2009 the Sputnik authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/**
 * The result of an addition is determined using the rules of IEEE 754 double-precision arithmetics
 *
 * @path ch11/11.6/11.6.1/S11.6.1_A4_T1.js
 * @description If either operand is NaN, the result is NaN
 */

//CHECK#1
if (isNaN(Number.NaN + 1) !== true ) {
  $ERROR('#1: NaN + 1 === Not-a-Number. Actual: ' + (NaN + 1));
}

//CHECK#2
if (isNaN(1 + Number.NaN) !== true ) {
  $ERROR('#2: 1 + NaN === Not-a-Number. Actual: ' + (1 + NaN));
}

//CHECK#3
if (isNaN(Number.NaN + Number.POSITIVE_INFINITY) !== true ) {
  $ERROR('#3: NaN + Infinity === Not-a-Number. Actual: ' + (NaN + Infinity));
}

//CHECK#4
if (isNaN(Number.POSITIVE_INFINITY + Number.NaN) !== true ) {
  $ERROR('#4: Infinity + NaN === Not-a-Number. Actual: ' + (Infinity + NaN));
}

//CHECK#5
if (isNaN(Number.NaN + Number.NEGATIVE_INFINITY) !== true ) {
  $ERROR('#5: NaN + Infinity === Not-a-Number. Actual: ' + (NaN + Infinity));
}

//CHECK#6
if (isNaN(Number.NEGATIVE_INFINITY + Number.NaN) !== true ) {
  $ERROR('#6: Infinity + NaN === Not-a-Number. Actual: ' + (Infinity + NaN));
}