/*
|
* Copyright (C) 2011 The Android Open Source Project
|
*
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
* you may not use this file except in compliance with the License.
|
* You may obtain a copy of the License at
|
*
|
* http://www.apache.org/licenses/LICENSE-2.0
|
*
|
* Unless required by applicable law or agreed to in writing, software
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
* See the License for the specific language governing permissions and
|
* limitations under the License.
|
*/
|
|
class Main {
|
|
public int ifoo;
|
|
/* Test requires visual inspection of object code to verify */
|
int noThrow(Main nonNullA,
|
Main nonNullB,
|
Main nonNullC) {
|
|
// "this" check should be eliminated on both IGET/IPUT
|
ifoo++;
|
|
// "this" check should be eliminated on both IGET/IPUT
|
if (ifoo != 321) {
|
// Check not eliminated
|
nonNullA.ifoo = 12;
|
// Check not eliminated
|
nonNullB.ifoo = 21;
|
} else {
|
// Check not eliminated
|
nonNullA.ifoo = 12;
|
}
|
|
// Check eliminated
|
nonNullA.ifoo = 13;
|
|
// Check not eliminated
|
nonNullB.ifoo = 21;
|
|
nonNullC = nonNullB;
|
|
// Check eliminated
|
nonNullC.ifoo = 32;
|
|
// All null checks eliminated
|
return ifoo + nonNullA.ifoo + nonNullB.ifoo + nonNullC.ifoo;
|
}
|
|
/* Test to ensure we don't remove necessary null checks */
|
int checkThrow(Main nonNullA,
|
Main nonNullB,
|
Main nonNullC,
|
Main nullA,
|
Main nullB,
|
Main nullC) {
|
|
// "this" check should be eliminated on both IGET/IPUT
|
ifoo++;
|
|
try {
|
nullA.ifoo = 12;
|
// Should not be reached
|
return -1;
|
} catch (NullPointerException npe) {
|
ifoo++;
|
}
|
try {
|
nullB.ifoo = 13;
|
// Should not be reached
|
return -2;
|
} catch (NullPointerException npe) {
|
ifoo++;
|
}
|
try {
|
nullC.ifoo = 14;
|
// Should not be reached
|
return -3;
|
} catch (NullPointerException npe) {
|
ifoo++;
|
}
|
|
// "this" check should be eliminated
|
if (ifoo != 321) {
|
// Check not eliminated
|
nonNullA.ifoo = 12;
|
// Check not eliminated
|
nonNullB.ifoo = 21;
|
// Should throw here
|
try {
|
nullA.ifoo = 11;
|
return -4;
|
} catch (NullPointerException npe) {
|
}
|
} else {
|
// Check not eliminated
|
nonNullA.ifoo = 12;
|
// Should throw here
|
try {
|
nullA.ifoo = 11;
|
return -5;
|
} catch (NullPointerException npe) {
|
}
|
}
|
|
// Check not eliminated
|
nonNullA.ifoo = 13;
|
|
// Check not eliminated
|
nonNullB.ifoo = 21;
|
|
nonNullC = nonNullB;
|
|
// Check eliminated
|
nonNullC.ifoo = 32;
|
|
// Should throw here
|
try {
|
nullA.ifoo = 13;
|
return -6;
|
} catch (NullPointerException npe) {
|
}
|
|
return ifoo + nonNullA.ifoo + nonNullB.ifoo + nonNullC.ifoo;
|
}
|
|
|
static int nullCheckTestNoThrow(int x) {
|
Main base = new Main();
|
Main a = new Main();
|
Main b = new Main();
|
Main c = new Main();
|
base.ifoo = x;
|
return base.noThrow(a,b,c);
|
}
|
|
static int nullCheckTestThrow(int x) {
|
Main base = new Main();
|
Main a = new Main();
|
Main b = new Main();
|
Main c = new Main();
|
Main d = null;
|
Main e = null;
|
Main f = null;
|
base.ifoo = x;
|
return base.checkThrow(a,b,c,d,e,f);
|
}
|
|
|
static void throwImplicitAIOBE(int[] array, int index) {
|
array[index] = 0;
|
}
|
|
static int checkAIOBE() {
|
int[] array = new int[10];
|
int res;
|
try {
|
throwImplicitAIOBE(array, 11);
|
res = 123;
|
} catch (NullPointerException npe) {
|
res = 768;
|
} catch (ArrayIndexOutOfBoundsException e) {
|
res = 456;
|
}
|
try {
|
throwImplicitAIOBE(array, -1);
|
res += 123;
|
} catch (NullPointerException npe) {
|
res += 768;
|
} catch (ArrayIndexOutOfBoundsException e) {
|
res += 456;
|
}
|
return res;
|
}
|
|
static int throwImplicitDivZero(int x, int y) {
|
return x / y;
|
}
|
|
static int checkDivZero() {
|
try {
|
throwImplicitDivZero(100, 0);
|
return 123;
|
} catch (NullPointerException npe) {
|
return 768;
|
} catch (ArrayIndexOutOfBoundsException e) {
|
return 987;
|
} catch (ArithmeticException e) {
|
return 456;
|
}
|
}
|
|
public static void main(String[] args) {
|
boolean failure = false;
|
int res;
|
|
res = nullCheckTestNoThrow(1976);
|
if (res == 2054) {
|
System.out.println("nullCheckTestNoThrow PASSED");
|
} else {
|
System.out.println("nullCheckTestNoThrow FAILED: " + res);
|
failure = true;
|
}
|
|
res = nullCheckTestThrow(1976);
|
if (res == 2057) {
|
System.out.println("nullCheckTestThrow PASSED");
|
} else {
|
System.out.println("nullCheckTestThrow FAILED: " + res);
|
failure = true;
|
}
|
|
res = checkAIOBE();
|
if (res == 912) {
|
System.out.println("checkAIOBE PASSED");
|
} else {
|
System.out.println("checkAIOBE FAILED: " + res);
|
failure = true;
|
}
|
|
res = checkDivZero();
|
if (res == 456) {
|
System.out.println("checkDivZero PASSED");
|
} else {
|
System.out.println("checkDivZero FAILED: " + res);
|
failure = true;
|
}
|
System.exit(failure ? 1 : 0);
|
}
|
}
|
