hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Mitigate ODR violations.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-12-15 17:12:37 +00:00
parent 1cbe01923d
commit ef916f0ba0
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/src/jsf/4.16 Initialization/AV Rule 145.ql
View File

@@ -39,10 +39,12 @@ predicate hasReferenceInitializer(EnumConstant c) {
*/
EnumConstant getNonReferenceInitializedEnumConstantByRank(Enum e, int rnk) {
result =
rank[rnk](EnumConstant cand, int pos |
e.getEnumConstant(pos) = cand and not hasReferenceInitializer(cand)
rank[rnk](EnumConstant cand, int pos, string filepath, int startline, int startcolumn |
e.getEnumConstant(pos) = cand and
not hasReferenceInitializer(cand) and
cand.getLocation().hasLocationInfo(filepath, startline, startcolumn, _, _)
|
cand order by pos
cand order by pos, filepath, startline, startcolumn
)
}