Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
all-systems
/
Issue2678.java
blob: 2fffc3aaf0479cdb75774e8a8752fac6f9f72a79 [
file
] [
log
] [
blame
]
public
class
Issue2678
{
@SuppressWarnings
({
"index:array.access.unsafe.low"
,
"index:array.access.unsafe.high"
})
public
synchronized
void
incrementPushed
(
long
[]
pushed
,
int
operationType
)
{
++(
pushed
[
operationType
]);
}
}