Skip to content

Commit 183100e

Browse files
Fix Generics.json package
1 parent b2aef27 commit 183100e

File tree

1 file changed

+4
-7
lines changed

1 file changed

+4
-7
lines changed

rule_packages/c/Generics.json

+4-7
Original file line numberDiff line numberDiff line change
@@ -52,9 +52,8 @@
5252
}
5353
],
5454
"implementation_scope": {
55-
"items": [
55+
"description":
5656
"Due to limited information in the CodeQL database for macro argument expansions, this implementation reports generics not of the form `_Generic((X)` where all invocations of that generic contain a side effect in the controlling expression."
57-
]
5857
},
5958
"title": "A generic selection that is not expanded from a macro shall not contain potential side effects in the controlling expression"
6059
},
@@ -138,9 +137,8 @@
138137
}
139138
],
140139
"implementation_scope": {
141-
"items": [
140+
"description":
142141
"The CodeQL extractor will expand character literals passed into macros into integer literals, and therefore the essential type system for character literals will not necessarily be analyzed correctly."
143-
]
144142
},
145143
"title": "The controlling expression of a generic selection shall have an essential type that matches its standard type"
146144
},
@@ -164,9 +162,8 @@
164162
}
165163
],
166164
"implementation_scope": {
167-
"items": [
165+
"description":
168166
"Due to limited information in the CodeQL database for macro argument expansions, this implementation performs string matching on the macro parameters against the macro body to determine where parameters are expanded. If text indicating a nonevaluated context such as sizeof() or _Alignof() appear, there will be no positive result."
169-
]
170167
},
171168
"title": "A generic selection that is expanded from a macro should evaluate its argument only once"
172169
},
@@ -176,7 +173,7 @@
176173
},
177174
"queries": [
178175
{
179-
"description": "A default association shall appear as either the first or the last association of a generic selection",
176+
"description": "A default association shall appear as either the first or the last association of a generic selection.",
180177
"kind": "problem",
181178
"name": "A default association shall appear as either the first or the last association of a generic",
182179
"precision": "very-high",

0 commit comments

Comments
 (0)