12c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// Copyright 2013 the V8 project authors. All rights reserved.
22c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// Redistribution and use in source and binary forms, with or without
32c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// modification, are permitted provided that the following conditions are
42c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// met:
52c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org//
62c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org//     * Redistributions of source code must retain the above copyright
72c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org//       notice, this list of conditions and the following disclaimer.
82c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org//     * Redistributions in binary form must reproduce the above
92c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org//       copyright notice, this list of conditions and the following
102c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org//       disclaimer in the documentation and/or other materials provided
112c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org//       with the distribution.
122c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org//     * Neither the name of Google Inc. nor the names of its
132c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org//       contributors may be used to endorse or promote products derived
142c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org//       from this software without specific prior written permission.
152c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org//
162c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
172c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
182c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
192c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
202c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
212c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
222c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
232c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
242c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
252c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
262c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
272c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org
282c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org// Flags: --allow-natives-syntax
292c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org
302c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.orgvar foo = {bar: -2};
312c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.orgfunction crash() {
322c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org  return !(foo.bar++);
332c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org}
342c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.orgassertFalse(crash());
352c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.orgassertEquals(-1, foo.bar);
362c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.org%OptimizeFunctionOnNextCall(crash);
372c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.orgassertFalse(crash());
382c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.orgassertEquals(0, foo.bar);
392c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.orgassertTrue(crash());
402c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.orgassertEquals(1, foo.bar);
412c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.orgassertFalse(crash());
422c9426bdda5e95459527292063d885c98180cb0fjkummerow@chromium.orgassertEquals(2, foo.bar);
43