|
1 // Binary: cache/js-dbg-64-f3f5d8a8a473-linux |
|
2 // Flags: -m -n |
|
3 // |
|
4 |
|
5 function MakeDay( year, month, date ) { |
|
6 date = ToInteger(date ); |
|
7 var t = ( year < 1970 ) ? 1 : 0; |
|
8 return ( (Math.floor(t/86400000)) + date - 1 ); |
|
9 } |
|
10 function MakeDate( day, time ) { |
|
11 if ( day == Number.POSITIVE_INFINITY || day == Number.NEGATIVE_INFINITY ) { } |
|
12 } |
|
13 function ToInteger( t ) { |
|
14 var sign = ( t < 0 ) ? -1 : 1; |
|
15 return ( sign * Math.floor( Math.abs( t ) ) ); |
|
16 } |
|
17 var UTCDate = MyDateFromTime( Number("946684800000") ); |
|
18 function MyDate() { |
|
19 this.date = 0; |
|
20 } |
|
21 function MyDateFromTime( t ) { |
|
22 var d = new MyDate(); |
|
23 d.value = ToInteger( MakeDate( MakeDay( d.year, d.month, d.date ), d.time ) ); |
|
24 var i = 0; while (Uint32Array && i < 10000) { ++i; if (0 == 100000) return; } |
|
25 } |