Skip to content

Commit 665354e

Browse files
hmakholmhmakholm
authored
Merge pull request #17823 from github/hmakholm/pr/graph-equivalence-test
Supplement 'query-type: graph' with actual query metadata
2 parents 16fe7a2 + 3d8d340 commit 665354e

File tree

19 files changed

+114
-19
lines changed

19 files changed

+114
-19
lines changed

‎cpp/ql/test/library-tests/basic_blocks/bb_cfg.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/library-tests/basic_blocks/cfg.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/library-tests/c++_exceptions/graphable.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/library-tests/constexpr_if/cfg.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/library-tests/destructors/cfg.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/library-tests/lambdas/cfg/cfg.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/library-tests/pointsto/basic/sets.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38
import semmle.code.cpp.pointsto.PointsTo
49

‎cpp/ql/test/library-tests/sub_basic_blocks/cut.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import sbb_test
38

49
class CutCall extends SubBasicBlockCutNode {

‎cpp/ql/test/library-tests/sub_basic_blocks/no_cut.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import sbb_test
38

49
// Note: no instance of `SubBasicBlockCutNode`

‎cpp/ql/test/library-tests/virtual_functions/cfg/cfg.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/library-tests/vla/cfg.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/successor-tests/break_labels/cfg.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/successor-tests/conditional_destructors/cfg.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/successor-tests/exceptionhandler/ellipsisexceptionhandler/graphable.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/successor-tests/exceptionhandler/exceptionhandler/graphable.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/successor-tests/pruning/graphable.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/successor-tests/returnstmt/graphable.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/successor-tests/stackvariables/stackvariables/graphable.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

‎cpp/ql/test/successor-tests/switchstmt/switchbody/graphable.ql

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
1-
// query-type: graph
1+
/**
2+
* query-type: graph
3+
*
4+
* @kind graph-equivalence-test
5+
*/
6+
27
import cpp
38

49
class DestructorCallEnhanced extends DestructorCall {

0 commit comments

Comments
 (0)