@@ -3,21 +3,9 @@ import cpp
3
3
import RuleMetadata
4
4
import codingstandards.cpp.exclusions.RuleMetadata
5
5
6
- newtype SideEffects3Query =
7
- TSideEffectsInArgumentsToUnsafeMacrosQuery ( ) or
8
- TUnsequencedSideEffectsQuery ( ) or
9
- TMultipleObjectModificationsQuery ( )
6
+ newtype SideEffects3Query = TUnsequencedSideEffectsQuery ( )
10
7
11
8
predicate isSideEffects3QueryMetadata ( Query query , string queryId , string ruleId , string category ) {
12
- query =
13
- // `Query` instance for the `sideEffectsInArgumentsToUnsafeMacros` query
14
- SideEffects3Package:: sideEffectsInArgumentsToUnsafeMacrosQuery ( ) and
15
- queryId =
16
- // `@id` for the `sideEffectsInArgumentsToUnsafeMacros` query
17
- "c/cert/side-effects-in-arguments-to-unsafe-macros" and
18
- ruleId = "PRE31-C" and
19
- category = "rule"
20
- or
21
9
query =
22
10
// `Query` instance for the `unsequencedSideEffects` query
23
11
SideEffects3Package:: unsequencedSideEffectsQuery ( ) and
@@ -26,36 +14,13 @@ predicate isSideEffects3QueryMetadata(Query query, string queryId, string ruleId
26
14
"c/misra/unsequenced-side-effects" and
27
15
ruleId = "RULE-13-2" and
28
16
category = "required"
29
- or
30
- query =
31
- // `Query` instance for the `multipleObjectModifications` query
32
- SideEffects3Package:: multipleObjectModificationsQuery ( ) and
33
- queryId =
34
- // `@id` for the `multipleObjectModifications` query
35
- "c/misra/multiple-object-modifications" and
36
- ruleId = "RULE-13-2" and
37
- category = "required"
38
17
}
39
18
40
19
module SideEffects3Package {
41
- Query sideEffectsInArgumentsToUnsafeMacrosQuery ( ) {
42
- //autogenerate `Query` type
43
- result =
44
- // `Query` type for `sideEffectsInArgumentsToUnsafeMacros` query
45
- TQueryC ( TSideEffects3PackageQuery ( TSideEffectsInArgumentsToUnsafeMacrosQuery ( ) ) )
46
- }
47
-
48
20
Query unsequencedSideEffectsQuery ( ) {
49
21
//autogenerate `Query` type
50
22
result =
51
23
// `Query` type for `unsequencedSideEffects` query
52
24
TQueryC ( TSideEffects3PackageQuery ( TUnsequencedSideEffectsQuery ( ) ) )
53
25
}
54
-
55
- Query multipleObjectModificationsQuery ( ) {
56
- //autogenerate `Query` type
57
- result =
58
- // `Query` type for `multipleObjectModifications` query
59
- TQueryC ( TSideEffects3PackageQuery ( TMultipleObjectModificationsQuery ( ) ) )
60
- }
61
26
}
0 commit comments