Skip to content

Commit 6d952bd

Browse files
authored
Merge pull request github#5020 from asgerf/js/getaqlclass-test
Approved by esbena
2 parents bb42382 + c69a051 commit 6d952bd

File tree

2 files changed

+9
-0
lines changed

2 files changed

+9
-0
lines changed

javascript/ql/test/library-tests/DataFlow/tests.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1573,3 +1573,5 @@ sources
15731573
| tst.js:117:10:117:20 | Object.seal |
15741574
| tst.js:117:10:117:24 | Object.seal(x1) |
15751575
| tst.js:117:22:117:23 | x1 |
1576+
stress_getAQlClass
1577+
| OK |

javascript/ql/test/library-tests/DataFlow/tests.ql

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,3 +28,10 @@ query predicate noBasicBlock(DataFlow::Node node) { not exists(node.getBasicBloc
2828
query predicate parameters(DataFlow::ParameterNode param) { any() }
2929

3030
query predicate sources(DataFlow::SourceNode src) { any() }
31+
32+
query predicate stress_getAQlClass(string msg) {
33+
// Compile and evaluate `getAQlClass` so we get notified of potential problems with BDD size.
34+
// Avoid outputting its result, however, as the output would constantly need to be updated.
35+
count(DataFlow::Node node, string cls | cls = node.getAQlClass()) >= 42 and
36+
msg = "OK"
37+
}

0 commit comments

Comments
 (0)