8074487: Static analysis of IfNode should consider terminating branches

Reviewed-by: hannesw, lagergren
1 file changed