/*
 * Copyright (c) 2024, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */

// java -XX:-TieredCompilation -XX:CompileCommad=compileonly,TestNotLong.test TestNotLong.java

import java.util.Vector;

class TestVector extends Vector<Object> {

    TestVector() {
        super();
    }

    TestVector(int initialCapacity) {
        super(initialCapacity);
    }

    TestVector(int initialCapacity, int capacityIncrement) {
        super(initialCapacity, capacityIncrement);
    }

    Object[] getElementData () {
        return elementData; // access protected field
    }
}

public class TestNotLong {

    public static void main(String[] strArr) {
        TestNotLong tc = new TestNotLong();
        String result = null;
        for (int i = 0; i < 12000; ++i) {
            result = tc.test();
            if (result != null) break;
        }
        System.out.println(result == null? "passed" : result);
    }

    int [][] vector_types = {
       {-1, -1},
       {0, -1},
       {1, -1},
       {2, -1},
       {1025, -1},
       {0, -2},
       {1, -2},
       {2, -2},
       {1025, -2},
       {0, 0},
       {1, 0},
       {2, 0},
       {1025, 0},
       {0, 1},
       {1, 1},
       {2, 1},
       {1025, 1},
       {0, 1025 },
       {1, 1025 },
       {2, 1025 },
       {1025, 1025 }
    };

    Object [] elems = {
        null,
        new Object(),
        new Vector(),
        new Object[0]
    };

        int cntr = 0;

        int mode = 0;

    void reset() {
        cntr = 0;
        mode = 0;
    }

    TestVector nextVector() {
        if (cntr == vector_types.length) {
            return null;
        } else {
            TestVector vect;
            if (vector_types[cntr][0] < 0) {
                vect = new TestVector();
            } else if (vector_types[cntr][1] == -2) {
                vect = new TestVector(vector_types[cntr][0]);
            } else {
                vect = new TestVector(vector_types[cntr][0], vector_types[cntr][1]);
            }
            if (mode == 1) {
                vect.addElement(null);
                vect.addElement(new Object());
                vect.addElement(new Vector());
                vect.addElement(new Object[0]);
            } else if (mode == 2) {
                int cap = vect.capacity();
                vect.addElement(null);
                for (int i = 0; i < cap; i++) {
                    vect.addElement(new Object());
                }
            }
            if (++mode == 3) {
                mode = 0;
                cntr++;
            }
            return vect;
        }
    }

    public String test() {
        reset();
        TestVector vect = (TestVector)nextVector();
        while (vect != null) {
            Object [] backup_array = new Object[vect.size()];
            System.arraycopy(vect.getElementData(),0,backup_array,0,vect.size());

            int old_size = vect.size();
            vect.setSize(vect.size());
            if (vect.size() != old_size) {
                return foo14064402836261980("Vector: ", vect, " size changed after setSize(size())");
            }
                {
                    boolean flagus7828 = _mutatorFlip();
                    int limitus7828 = 2;
                    for (; limitus7828 < 4; limitus7828 *= 2) { };
                    int zerous7828 = 34;
                    for (int peelus7828 = 2; peelus7828 < limitus7828; peelus7828++) { zerous7828 = 0; };
                    for (int i = 0; i < vect.size(); i++) {
                        if (flagus7828)
                            break;

                        if (zerous7828 == 0) {
                            if (vect.elementAt(i) != backup_array[i]) {
                                return "Vector: " + vect + " : " + i + "th element changed after setSize(size())";
                            }
                        } else {
                            if (vect.elementAt(i) != backup_array[i]) {
                                return "Vector: " + vect + " : " + i + "th element changed after setSize(size())";
                            }
                            int _unswitchMarkus7828 = 0;;
                        }
                    }
                }

            old_size = vect.size();
            vect.setSize(vect.size()*2);
            if (vect.size() != old_size*2) {
                return "Vector: "+vect+" size incorrectly changed after setSize(size()*2)";
            }
            for (int i = 0; i < old_size; i++) {
                if (vect.elementAt(i) != backup_array[i]) {
                    return "Vector: "+vect+" : "+i+"th element changed after setSize(size()*2)";
                }
            }
            for (int i = old_size; i < old_size*2; i++) {
                if (vect.elementAt(i) != null) {
                    return "Vector: "+vect+" : "+i+"th element not null after setSize(size()*2)";
                }
            }

            old_size = vect.size();
            int old_cap = vect.capacity();
            vect.setSize(vect.capacity()+1);
            if (vect.size() != old_cap+1) {
                return "Vector: "+vect+" size incorrectly changed after setSize(capacity()+1)";
            }
            for (int i = 0; i < old_size && i < backup_array.length; i++) {
                if (vect.elementAt(i) != backup_array[i]) {
                    return "Vector: "+vect+" : "+i+"th element changed after setSize(capacity()+1)";
                }
            }
            for (int i = old_size; i < old_cap + 1; i++) {
                if (vect.elementAt(i) != null) {
                    return "Vector: "+vect+" : "+i+"th element not null after setSize(capacity()+1)";
                }
            }

            old_size = vect.size();
            vect.setSize(vect.size()/2);
            if (vect.size() != old_size/2) {
                return "Vector: "+vect+" size incorrectly changed after setSize(size()/2)";
            }
            for (int i = 0; i < new MyInteger((old_size / 2)).v()  && i < backup_array.length; i++) {
                if (vect.elementAt(i) != backup_array[i]) {
                    return "Vector: "+vect+" : "+i+"th element changed after setSize(size()/2)";
                }
            }

            vect = nextVector();
        }
        return null;
    }

        private static volatile boolean _mutatorToggle = false;

        private static boolean _mutatorFlip() {
            _mutatorToggle = !_mutatorToggle;
            _mutatorToggle = !_mutatorToggle;
            return _mutatorToggle;
        }

            private java.lang.String foo14064402836261980(java.lang.String p0, TestVector p1, java.lang.String p2) {
                return p0 + p1 + p2;
            }

            class MyInteger {
                public int v;

                public MyInteger(int v) {
                int M452 = 4;
                int N452 = 8;
                for (int i452 = 0; i452 < M452; i452++) {
                    {
                        int ysnk4837 = 0;;
                        int toSinksnk4837 = 0;;
                        for (int j452 = 0; j452 < N452; j452++) {
                            ysnk4837++;;
                            switch (i452) {
                                case -1, -2, -3 :
                                    break;
                                case 0 :
                                    this.v = v;
                            }
                            try { toSinksnk4837 = 23 * (ysnk4837 - 1); } catch (ArithmeticException ex) { toSinksnk4837 ^= ex.hashCode(); };
                        }
                        int _sinkUsesnk4837 = toSinksnk4837;;
                    }
                }
                this.v = v;
                }

                public int v() {
                    return v;
                }
            }

}