Java/Kotlin: Add UnaryExpr consistency query

This commit is contained in:
Ian Lynagh
2021-11-16 16:55:42 +00:00
parent 90365c9c58
commit 8f1f137fa1

View File

@@ -0,0 +1,6 @@
import java
from UnaryExpr ue
where not exists(ue.getExpr())
or exists(Expr e, int i | e.isNthChildOf(ue, i) and i != 0)
select ue