Skip to content

Commit e21ea48

Browse files
committed
Fix accidental inclusion of sample attempt at query that cannot be covered
1 parent fe8b779 commit e21ea48

File tree

1 file changed

+1
-18
lines changed

1 file changed

+1
-18
lines changed

cpp/common/src/codingstandards/cpp/exclusions/cpp/Declarations3.qll

Lines changed: 1 addition & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,7 @@ import codingstandards.cpp.exclusions.RuleMetadata
55

66
newtype Declarations3Query =
77
TVariableDeclaredArrayTypeQuery() or
8-
TBlockScopeFunctionAmbiguousQuery() or
9-
TBlockScopeObjectAmbiguousQuery()
8+
TBlockScopeFunctionAmbiguousQuery()
109

1110
predicate isDeclarations3QueryMetadata(Query query, string queryId, string ruleId, string category) {
1211
query =
@@ -26,15 +25,6 @@ predicate isDeclarations3QueryMetadata(Query query, string queryId, string ruleI
2625
"cpp/misra/block-scope-function-ambiguous" and
2726
ruleId = "RULE-6-0-1" and
2827
category = "required"
29-
or
30-
query =
31-
// `Query` instance for the `blockScopeObjectAmbiguous` query
32-
Declarations3Package::blockScopeObjectAmbiguousQuery() and
33-
queryId =
34-
// `@id` for the `blockScopeObjectAmbiguous` query
35-
"cpp/misra/block-scope-object-ambiguous" and
36-
ruleId = "RULE-6-0-1" and
37-
category = "required"
3828
}
3929

4030
module Declarations3Package {
@@ -51,11 +41,4 @@ module Declarations3Package {
5141
// `Query` type for `blockScopeFunctionAmbiguous` query
5242
TQueryCPP(TDeclarations3PackageQuery(TBlockScopeFunctionAmbiguousQuery()))
5343
}
54-
55-
Query blockScopeObjectAmbiguousQuery() {
56-
//autogenerate `Query` type
57-
result =
58-
// `Query` type for `blockScopeObjectAmbiguous` query
59-
TQueryCPP(TDeclarations3PackageQuery(TBlockScopeObjectAmbiguousQuery()))
60-
}
6144
}

0 commit comments

Comments
 (0)