Files
openide/java/java-tests/testData/psi/controlFlow/flowConditionalAndIf.txt
Tagir Valeevandintellij-monorepo-bot fe8e2f8122 [java-analysis] Pop jump roles and statements right after the condition
They should not take effect when we are already at branches.
Fixes IDEA-292666 False negative for checking definite assignment with ternaries

GitOrigin-RevId: 991562f8ec5a9c7b33dfa6a1810bb4ac385c7209
2022-04-26 16:34:34 +00:00

20 lines
273 B
Plaintext

0: EMPTY
1: READ a
2: COND_GOTO [ELSE] 9
3: READ c
4: READ b
5: COND_GOTO [ELSE] 18
6: READ b
7: WRITE x
8: GOTO [END] 14
9: READ c
10: WRITE x
11: COND_GOTO [THEN] 15
12: READ c
13: READ b
14: COND_GOTO [ELSE] 18
15: READ x
16: EMPTY
17: GOTO [END] 20
18: READ x
19: EMPTY