File tree Expand file tree Collapse file tree 2 files changed +9
-0
lines changed
javascript/ql/test/library-tests/DataFlow Expand file tree Collapse file tree 2 files changed +9
-0
lines changed Original file line number Diff line number Diff 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 |
Original file line number Diff line number Diff line change @@ -28,3 +28,10 @@ query predicate noBasicBlock(DataFlow::Node node) { not exists(node.getBasicBloc
2828query predicate parameters ( DataFlow:: ParameterNode param ) { any ( ) }
2929
3030query 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+ }
You can’t perform that action at this time.
0 commit comments