Skip to content

Commit cb94db5

Browse files
committed
Add missing exclusions module
1 parent 79879d0 commit cb94db5

File tree

1 file changed

+61
-0
lines changed

1 file changed

+61
-0
lines changed
Lines changed: 61 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,61 @@
1+
//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY. **/
2+
import cpp
3+
import RuleMetadata
4+
import codingstandards.cpp.exclusions.RuleMetadata
5+
6+
newtype SideEffects3Query =
7+
TSideEffectsInArgumentsToUnsafeMacrosQuery() or
8+
TUnsequencedSideEffectsQuery() or
9+
TMultipleObjectModificationsQuery()
10+
11+
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+
query =
22+
// `Query` instance for the `unsequencedSideEffects` query
23+
SideEffects3Package::unsequencedSideEffectsQuery() and
24+
queryId =
25+
// `@id` for the `unsequencedSideEffects` query
26+
"c/misra/unsequenced-side-effects" and
27+
ruleId = "RULE-13-2" and
28+
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+
}
39+
40+
module SideEffects3Package {
41+
Query sideEffectsInArgumentsToUnsafeMacrosQuery() {
42+
//autogenerate `Query` type
43+
result =
44+
// `Query` type for `sideEffectsInArgumentsToUnsafeMacros` query
45+
TQueryC(TSideEffects3PackageQuery(TSideEffectsInArgumentsToUnsafeMacrosQuery()))
46+
}
47+
48+
Query unsequencedSideEffectsQuery() {
49+
//autogenerate `Query` type
50+
result =
51+
// `Query` type for `unsequencedSideEffects` query
52+
TQueryC(TSideEffects3PackageQuery(TUnsequencedSideEffectsQuery()))
53+
}
54+
55+
Query multipleObjectModificationsQuery() {
56+
//autogenerate `Query` type
57+
result =
58+
// `Query` type for `multipleObjectModifications` query
59+
TQueryC(TSideEffects3PackageQuery(TMultipleObjectModificationsQuery()))
60+
}
61+
}

0 commit comments

Comments
 (0)