1# Copyright 2013 the V8 project authors. All rights reserved. 2# Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved. 3# 4# Redistribution and use in source and binary forms, with or without 5# modification, are permitted provided that the following conditions 6# are met: 7# 1. Redistributions of source code must retain the above copyright 8# notice, this list of conditions and the following disclaimer. 9# 2. Redistributions in binary form must reproduce the above copyright 10# notice, this list of conditions and the following disclaimer in the 11# documentation and/or other materials provided with the distribution. 12# 13# THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND ANY 14# EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 15# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 16# DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR ANY 17# DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES 18# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; 19# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON 20# ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 21# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS 22# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 23 24This tests that the static analysis we use to infer if a variable should be a double doesn't crash. 25 26On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE". 27 28 29Result value is 54939 30Result value is 55039 31Result value is 55039 32Result value is 55139 33Result value is 55039 34Result value is 55139 35Result value is 55139 36Result value is 55239 37Result value is 55039 38Result value is 55139 39Result value is 55139 40Result value is 55239 41Result value is 55139 42Result value is 55239 43Result value is 55239 44Result value is 55339 45Result value is 55821 46Result value is 55921 47Result value is 55921 48Result value is 56021 49Result value is 55921 50Result value is 56021 51Result value is 56021 52Result value is 56121 53Result value is 55921 54Result value is 56021 55Result value is 56021 56Result value is 56121 57Result value is 56021 58Result value is 56121 59Result value is 56121 60Result value is 56221 61Result value is 55828.5 62Result value is 55928.5 63Result value is 55928.5 64Result value is 56028.5 65Result value is 55928.5 66Result value is 56028.5 67Result value is 56028.5 68Result value is 56128.5 69Result value is 55928.5 70Result value is 56028.5 71Result value is 56028.5 72Result value is 56128.5 73Result value is 56028.5 74Result value is 56128.5 75Result value is 56128.5 76Result value is 56228.5 77Result value is 56710.5 78Result value is 56810.5 79Result value is 56810.5 80Result value is 56910.5 81Result value is 56810.5 82Result value is 56910.5 83Result value is 56910.5 84Result value is 57010.5 85Result value is 56810.5 86Result value is 56910.5 87Result value is 56910.5 88Result value is 57010.5 89Result value is 56910.5 90Result value is 57010.5 91Result value is 57010.5 92Result value is 57110.5 93Result value is 55834 94Result value is 55934 95Result value is 55934 96Result value is 56034 97Result value is 55934 98Result value is 56034 99Result value is 56034 100Result value is 56134 101Result value is 55934 102Result value is 56034 103Result value is 56034 104Result value is 56134 105Result value is 56034 106Result value is 56134 107Result value is 56134 108Result value is 56234 109Result value is 56716 110Result value is 56816 111Result value is 56816 112Result value is 56916 113Result value is 56816 114Result value is 56916 115Result value is 56916 116Result value is 57016 117Result value is 56816 118Result value is 56916 119Result value is 56916 120Result value is 57016 121Result value is 56916 122Result value is 57016 123Result value is 57016 124Result value is 57116 125Result value is 56723.5 126Result value is 56823.5 127Result value is 56823.5 128Result value is 56923.5 129Result value is 56823.5 130Result value is 56923.5 131Result value is 56923.5 132Result value is 57023.5 133Result value is 56823.5 134Result value is 56923.5 135Result value is 56923.5 136Result value is 57023.5 137Result value is 56923.5 138Result value is 57023.5 139Result value is 57023.5 140Result value is 57123.5 141Result value is 57605.5 142Result value is 57705.5 143Result value is 57705.5 144Result value is 57805.5 145Result value is 57705.5 146Result value is 57805.5 147Result value is 57805.5 148Result value is 57905.5 149Result value is 57705.5 150Result value is 57805.5 151Result value is 57805.5 152Result value is 57905.5 153Result value is 57805.5 154Result value is 57905.5 155Result value is 57905.5 156Result value is 58005.5 157Result value is 55887.5 158Result value is 55987.5 159Result value is 55987.5 160Result value is 56087.5 161Result value is 55987.5 162Result value is 56087.5 163Result value is 56087.5 164Result value is 56187.5 165Result value is 55987.5 166Result value is 56087.5 167Result value is 56087.5 168Result value is 56187.5 169Result value is 56087.5 170Result value is 56187.5 171Result value is 56187.5 172Result value is 56287.5 173Result value is 56769.5 174Result value is 56869.5 175Result value is 56869.5 176Result value is 56969.5 177Result value is 56869.5 178Result value is 56969.5 179Result value is 56969.5 180Result value is 57069.5 181Result value is 56869.5 182Result value is 56969.5 183Result value is 56969.5 184Result value is 57069.5 185Result value is 56969.5 186Result value is 57069.5 187Result value is 57069.5 188Result value is 57169.5 189Result value is 56777 190Result value is 56877 191Result value is 56877 192Result value is 56977 193Result value is 56877 194Result value is 56977 195Result value is 56977 196Result value is 57077 197Result value is 56877 198Result value is 56977 199Result value is 56977 200Result value is 57077 201Result value is 56977 202Result value is 57077 203Result value is 57077 204Result value is 57177 205Result value is 57659 206Result value is 57759 207Result value is 57759 208Result value is 57859 209Result value is 57759 210Result value is 57859 211Result value is 57859 212Result value is 57959 213Result value is 57759 214Result value is 57859 215Result value is 57859 216Result value is 57959 217Result value is 57859 218Result value is 57959 219Result value is 57959 220Result value is 58059 221Result value is 56782.5 222Result value is 56882.5 223Result value is 56882.5 224Result value is 56982.5 225Result value is 56882.5 226Result value is 56982.5 227Result value is 56982.5 228Result value is 57082.5 229Result value is 56882.5 230Result value is 56982.5 231Result value is 56982.5 232Result value is 57082.5 233Result value is 56982.5 234Result value is 57082.5 235Result value is 57082.5 236Result value is 57182.5 237Result value is 57664.5 238Result value is 57764.5 239Result value is 57764.5 240Result value is 57864.5 241Result value is 57764.5 242Result value is 57864.5 243Result value is 57864.5 244Result value is 57964.5 245Result value is 57764.5 246Result value is 57864.5 247Result value is 57864.5 248Result value is 57964.5 249Result value is 57864.5 250Result value is 57964.5 251Result value is 57964.5 252Result value is 58064.5 253Result value is 57672 254Result value is 57772 255Result value is 57772 256Result value is 57872 257Result value is 57772 258Result value is 57872 259Result value is 57872 260Result value is 57972 261Result value is 57772 262Result value is 57872 263Result value is 57872 264Result value is 57972 265Result value is 57872 266Result value is 57972 267Result value is 57972 268Result value is 58072 269Result value is 58554 270Result value is 58654 271Result value is 58654 272Result value is 58754 273Result value is 58654 274Result value is 58754 275Result value is 58754 276Result value is 58854 277Result value is 58654 278Result value is 58754 279Result value is 58754 280Result value is 58854 281Result value is 58754 282Result value is 58854 283Result value is 58854 284Result value is 58954 285PASS grandResult is 14578304 286PASS successfullyParsed is true 287 288TEST COMPLETE 289 290