Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
LengthOfArrayMinusOne.java
blob: 713002091d415d68fa24094aa341201c27694dd0 [
file
] [
log
] [
blame
]
public
class
LengthOfArrayMinusOne
{
void
test
(
int
[]
arr
)
{
// :: error: (array.access.unsafe.low)
int
i
=
arr
[
arr
.
length
-
1
];
if
(
arr
.
length
>
0
)
{
int
j
=
arr
[
arr
.
length
-
1
];
}
}
}