// Binary: cache/js-dbg-64-f3f5d8a8a473-linux // Flags: -m -n // function MakeDay( year, month, date ) { date = ToInteger(date ); var t = ( year < 1970 ) ? 1 : 0; return ( (Math.floor(t/86400000)) + date - 1 ); } function MakeDate( day, time ) { if ( day == Number.POSITIVE_INFINITY || day == Number.NEGATIVE_INFINITY ) { } } function ToInteger( t ) { var sign = ( t < 0 ) ? -1 : 1; return ( sign * Math.floor( Math.abs( t ) ) ); } var UTCDate = MyDateFromTime( Number("946684800000") ); function MyDate() { this.date = 0; } function MyDateFromTime( t ) { var d = new MyDate(); d.value = ToInteger( MakeDate( MakeDay( d.year, d.month, d.date ), d.time ) ); var i = 0; while (Uint32Array && i < 10000) { ++i; if (0 == 100000) return; } }