hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #5851 from github/alexet/patch

Browse Source 
Use only_bind_out to force a good join order.
This commit is contained in:
Alexander Eyers-Taylor
2021-05-19 12:00:07 +01:00
committed by GitHub
parent 9bdfdb02d3 852134023d
commit c80495fbdd
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
csharp/ql/src/semmle/code/csharp/dispatch/Dispatch.qll
View File

@@ -387,7 +387,8 @@ private module Internal {
result = this.getAStaticTarget()
or
result.getUnboundDeclaration() =
this.getASubsumedStaticTarget0(Gvn::getGlobalValueNumber(result.getDeclaringType()))
this.getASubsumedStaticTarget0(pragma[only_bind_out](Gvn::getGlobalValueNumber(result
.getDeclaringType())))
}
/**