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