Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 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 | |