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 24 This tests that the static analysis we use to infer if a variable should be a double doesn't crash. 25 26 On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE". 27 28 29 Result value is 54939 30 Result value is 55039 31 Result value is 55039 32 Result value is 55139 33 Result value is 55039 34 Result value is 55139 35 Result value is 55139 36 Result value is 55239 37 Result value is 55039 38 Result value is 55139 39 Result value is 55139 40 Result value is 55239 41 Result value is 55139 42 Result value is 55239 43 Result value is 55239 44 Result value is 55339 45 Result value is 55821 46 Result value is 55921 47 Result value is 55921 48 Result value is 56021 49 Result value is 55921 50 Result value is 56021 51 Result value is 56021 52 Result value is 56121 53 Result value is 55921 54 Result value is 56021 55 Result value is 56021 56 Result value is 56121 57 Result value is 56021 58 Result value is 56121 59 Result value is 56121 60 Result value is 56221 61 Result value is 55828.5 62 Result value is 55928.5 63 Result value is 55928.5 64 Result value is 56028.5 65 Result value is 55928.5 66 Result value is 56028.5 67 Result value is 56028.5 68 Result value is 56128.5 69 Result value is 55928.5 70 Result value is 56028.5 71 Result value is 56028.5 72 Result value is 56128.5 73 Result value is 56028.5 74 Result value is 56128.5 75 Result value is 56128.5 76 Result value is 56228.5 77 Result value is 56710.5 78 Result value is 56810.5 79 Result value is 56810.5 80 Result value is 56910.5 81 Result value is 56810.5 82 Result value is 56910.5 83 Result value is 56910.5 84 Result value is 57010.5 85 Result value is 56810.5 86 Result value is 56910.5 87 Result value is 56910.5 88 Result value is 57010.5 89 Result value is 56910.5 90 Result value is 57010.5 91 Result value is 57010.5 92 Result value is 57110.5 93 Result value is 55834 94 Result value is 55934 95 Result value is 55934 96 Result value is 56034 97 Result value is 55934 98 Result value is 56034 99 Result value is 56034 100 Result value is 56134 101 Result value is 55934 102 Result value is 56034 103 Result value is 56034 104 Result value is 56134 105 Result value is 56034 106 Result value is 56134 107 Result value is 56134 108 Result value is 56234 109 Result value is 56716 110 Result value is 56816 111 Result value is 56816 112 Result value is 56916 113 Result value is 56816 114 Result value is 56916 115 Result value is 56916 116 Result value is 57016 117 Result value is 56816 118 Result value is 56916 119 Result value is 56916 120 Result value is 57016 121 Result value is 56916 122 Result value is 57016 123 Result value is 57016 124 Result value is 57116 125 Result value is 56723.5 126 Result value is 56823.5 127 Result value is 56823.5 128 Result value is 56923.5 129 Result value is 56823.5 130 Result value is 56923.5 131 Result value is 56923.5 132 Result value is 57023.5 133 Result value is 56823.5 134 Result value is 56923.5 135 Result value is 56923.5 136 Result value is 57023.5 137 Result value is 56923.5 138 Result value is 57023.5 139 Result value is 57023.5 140 Result value is 57123.5 141 Result value is 57605.5 142 Result value is 57705.5 143 Result value is 57705.5 144 Result value is 57805.5 145 Result value is 57705.5 146 Result value is 57805.5 147 Result value is 57805.5 148 Result value is 57905.5 149 Result value is 57705.5 150 Result value is 57805.5 151 Result value is 57805.5 152 Result value is 57905.5 153 Result value is 57805.5 154 Result value is 57905.5 155 Result value is 57905.5 156 Result value is 58005.5 157 Result value is 55887.5 158 Result value is 55987.5 159 Result value is 55987.5 160 Result value is 56087.5 161 Result value is 55987.5 162 Result value is 56087.5 163 Result value is 56087.5 164 Result value is 56187.5 165 Result value is 55987.5 166 Result value is 56087.5 167 Result value is 56087.5 168 Result value is 56187.5 169 Result value is 56087.5 170 Result value is 56187.5 171 Result value is 56187.5 172 Result value is 56287.5 173 Result value is 56769.5 174 Result value is 56869.5 175 Result value is 56869.5 176 Result value is 56969.5 177 Result value is 56869.5 178 Result value is 56969.5 179 Result value is 56969.5 180 Result value is 57069.5 181 Result value is 56869.5 182 Result value is 56969.5 183 Result value is 56969.5 184 Result value is 57069.5 185 Result value is 56969.5 186 Result value is 57069.5 187 Result value is 57069.5 188 Result value is 57169.5 189 Result value is 56777 190 Result value is 56877 191 Result value is 56877 192 Result value is 56977 193 Result value is 56877 194 Result value is 56977 195 Result value is 56977 196 Result value is 57077 197 Result value is 56877 198 Result value is 56977 199 Result value is 56977 200 Result value is 57077 201 Result value is 56977 202 Result value is 57077 203 Result value is 57077 204 Result value is 57177 205 Result value is 57659 206 Result value is 57759 207 Result value is 57759 208 Result value is 57859 209 Result value is 57759 210 Result value is 57859 211 Result value is 57859 212 Result value is 57959 213 Result value is 57759 214 Result value is 57859 215 Result value is 57859 216 Result value is 57959 217 Result value is 57859 218 Result value is 57959 219 Result value is 57959 220 Result value is 58059 221 Result value is 56782.5 222 Result value is 56882.5 223 Result value is 56882.5 224 Result value is 56982.5 225 Result value is 56882.5 226 Result value is 56982.5 227 Result value is 56982.5 228 Result value is 57082.5 229 Result value is 56882.5 230 Result value is 56982.5 231 Result value is 56982.5 232 Result value is 57082.5 233 Result value is 56982.5 234 Result value is 57082.5 235 Result value is 57082.5 236 Result value is 57182.5 237 Result value is 57664.5 238 Result value is 57764.5 239 Result value is 57764.5 240 Result value is 57864.5 241 Result value is 57764.5 242 Result value is 57864.5 243 Result value is 57864.5 244 Result value is 57964.5 245 Result value is 57764.5 246 Result value is 57864.5 247 Result value is 57864.5 248 Result value is 57964.5 249 Result value is 57864.5 250 Result value is 57964.5 251 Result value is 57964.5 252 Result value is 58064.5 253 Result value is 57672 254 Result value is 57772 255 Result value is 57772 256 Result value is 57872 257 Result value is 57772 258 Result value is 57872 259 Result value is 57872 260 Result value is 57972 261 Result value is 57772 262 Result value is 57872 263 Result value is 57872 264 Result value is 57972 265 Result value is 57872 266 Result value is 57972 267 Result value is 57972 268 Result value is 58072 269 Result value is 58554 270 Result value is 58654 271 Result value is 58654 272 Result value is 58754 273 Result value is 58654 274 Result value is 58754 275 Result value is 58754 276 Result value is 58854 277 Result value is 58654 278 Result value is 58754 279 Result value is 58754 280 Result value is 58854 281 Result value is 58754 282 Result value is 58854 283 Result value is 58854 284 Result value is 58954 285 PASS grandResult is 14578304 286 PASS successfullyParsed is true 287 288 TEST COMPLETE 289 290