Files
codeql/java/ql/test/library-tests/controlflow/basic/strictDominance.ql
2018-08-30 10:48:05 +01:00

7 lines
139 B
Plaintext

import default
import semmle.code.java.controlflow.Dominance
from Stmt pre, Stmt post
where strictlyDominates(pre, post)
select pre, post