Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
dataflow
/
manual
/
examples
/
CFGSwitch.java
blob: ae8eea293ce944779b4cfc887d0d3608f7766cf9 [
file
] [
log
] [
blame
]
class
Test
{
void
test
(
int
x
)
{
switch
(
x
)
{
case
1
:
int
a
=
x
;
break
;
case
2
:
int
b
=
x
;
default
:
int
c
=
x
;
break
;
}
}
}