Skip to content

Commit 3b9eba2

Browse files
committed
Merge branch 'main' of https://github.com/github/codeql into oscarsj/merge-back-rc-3.21
2 parents 13ce515 + 84bef5d commit 3b9eba2

File tree

846 files changed

+87213
-58480
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

846 files changed

+87213
-58480
lines changed
Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
class Element extends @element {
2+
string toString() { none() }
3+
}
4+
5+
class Trap extends @trap {
6+
string toString() { none() }
7+
}
8+
9+
class Tag extends @tag {
10+
string toString() { none() }
11+
}
12+
13+
from Element e, Trap trap
14+
where
15+
in_trap_or_tag(e, trap)
16+
or
17+
exists(Tag tag |
18+
in_trap_or_tag(e, tag) and
19+
trap_uses_tag(trap, tag)
20+
)
21+
select e, trap

0 commit comments

Comments
 (0)