hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Handle special case of duplicate type constraints

Browse Source
This commit is contained in:
Tamas Vajk
2021-05-21 14:03:28 +02:00
parent 42fcfad0d8
commit f597c9a7ed
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
csharp/ql/src/Stubs/Stubs.qll
View File

@@ -534,7 +534,11 @@ private string stubConstraints(TypeParameterConstraints tpc, int i) {
or
tpc.hasUnmanagedTypeConstraint() and result = "unmanaged" and i = 0
or
tpc.hasValueTypeConstraint() and result = "struct" and i = 0
tpc.hasValueTypeConstraint() and
result = "struct" and
i = 0 and
not tpc.hasUnmanagedTypeConstraint() and
not stubClassName(tpc.getATypeConstraint().(Class)) = "System.Enum"
or
tpc.hasRefTypeConstraint() and result = "class" and i = 0
or