Skip to content

Commit 5b619c5

Browse files
committed
Regenerate Contracts6.qll
1 parent 9242d22 commit 5b619c5

File tree

1 file changed

+0
-8
lines changed

1 file changed

+0
-8
lines changed

cpp/common/src/codingstandards/cpp/exclusions/c/Contracts6.qll

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

66
newtype Contracts6Query =
77
TDoNotModifyConstantObjectsQuery() or
8-
TRightHandOperandOfAShiftOperatorRangeQuery() or
98
TArrayFunctionArgumentNumberOfElementsQuery() or
109
TValueReturnedByAFunctionNotUsedQuery()
1110

@@ -46,13 +45,6 @@ module Contracts6Package {
4645
TQueryC(TContracts6PackageQuery(TDoNotModifyConstantObjectsQuery()))
4746
}
4847

49-
Query rightHandOperandOfAShiftOperatorRangeQuery() {
50-
//autogenerate `Query` type
51-
result =
52-
// `Query` type for `rightHandOperandOfAShiftOperatorRange` query
53-
TQueryC(TContracts6PackageQuery(TRightHandOperandOfAShiftOperatorRangeQuery()))
54-
}
55-
5648
Query arrayFunctionArgumentNumberOfElementsQuery() {
5749
//autogenerate `Query` type
5850
result =

0 commit comments

Comments
 (0)