Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
dataflow
/
tests
/
live-variable
/
Test.java
blob: 641ac2eb4fca3cefc55cd2ce5939c6c038cc5ede [
file
] [
log
] [
blame
]
public
class
Test
{
public
void
test
()
{
int
a
=
1
,
b
=
2
,
c
=
3
;
if
(
a
>
0
)
{
int
d
=
a
+
c
;
}
else
{
int
e
=
a
+
b
;
}
}
}