Skip to content

Commit 192ff57

Browse files
committed
update
1 parent e8958c8 commit 192ff57

File tree

3 files changed

+9
-3
lines changed

3 files changed

+9
-3
lines changed
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
rules/RULE-1-2/LanguageExtensionsShouldNotBeUsed.ql

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

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,22 +7,24 @@ newtype Language3Query =
77
TLanguageExtensionsShouldNotBeUsedQuery() or
88
TOccurrenceOfUndefinedBehaviorQuery()
99

10-
predicate isLanguage3QueryMetadata(Query query, string queryId, string ruleId) {
10+
predicate isLanguage3QueryMetadata(Query query, string queryId, string ruleId, string category) {
1111
query =
1212
// `Query` instance for the `languageExtensionsShouldNotBeUsed` query
1313
Language3Package::languageExtensionsShouldNotBeUsedQuery() and
1414
queryId =
1515
// `@id` for the `languageExtensionsShouldNotBeUsed` query
1616
"c/misra/language-extensions-should-not-be-used" and
17-
ruleId = "RULE-1-2"
17+
ruleId = "RULE-1-2" and
18+
category = "advisory"
1819
or
1920
query =
2021
// `Query` instance for the `occurrenceOfUndefinedBehavior` query
2122
Language3Package::occurrenceOfUndefinedBehaviorQuery() and
2223
queryId =
2324
// `@id` for the `occurrenceOfUndefinedBehavior` query
2425
"c/misra/occurrence-of-undefined-behavior" and
25-
ruleId = "RULE-1-3"
26+
ruleId = "RULE-1-3" and
27+
category = "required"
2628
}
2729

2830
module Language3Package {

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,7 @@ import IO4
3333
import InvalidMemory1
3434
import Language1
3535
import Language2
36+
import Language3
3637
import Memory1
3738
import Misc
3839
import Pointers1
@@ -84,6 +85,7 @@ newtype TCQuery =
8485
TInvalidMemory1PackageQuery(InvalidMemory1Query q) or
8586
TLanguage1PackageQuery(Language1Query q) or
8687
TLanguage2PackageQuery(Language2Query q) or
88+
TLanguage3PackageQuery(Language3Query q) or
8789
TMemory1PackageQuery(Memory1Query q) or
8890
TMiscPackageQuery(MiscQuery q) or
8991
TPointers1PackageQuery(Pointers1Query q) or
@@ -135,6 +137,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
135137
isInvalidMemory1QueryMetadata(query, queryId, ruleId, category) or
136138
isLanguage1QueryMetadata(query, queryId, ruleId, category) or
137139
isLanguage2QueryMetadata(query, queryId, ruleId, category) or
140+
isLanguage3QueryMetadata(query, queryId, ruleId, category) or
138141
isMemory1QueryMetadata(query, queryId, ruleId, category) or
139142
isMiscQueryMetadata(query, queryId, ruleId, category) or
140143
isPointers1QueryMetadata(query, queryId, ruleId, category) or

0 commit comments

Comments
 (0)