Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
dataflow
/
manual
/
examples
/
CFGConditionalOr2.java
blob: dc9b2855074bd731b74bec5176cc9c701fcf99da [
file
] [
log
] [
blame
]
class
Test
{
void
test
(
boolean
b1
,
boolean
b2
,
boolean
b3
)
{
int
x
=
0
;
boolean
b
=
b1
||
(
b2
||
b3
);
}
}