Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
dataflow
/
manual
/
examples
/
CFGSimple.java
blob: 2aedb61de84a5e211847db30f8447260986b6978 [
file
] [
log
] [
blame
]
class
Test
{
void
test
(
boolean
b
)
{
int
x
=
2
;
if
(
b
)
{
x
=
1
;
}
}
}