mirror of
https://github.com/github/codeql.git
synced 2026-05-30 19:11:23 +02:00
XXX: Disable dynamic join in some cases
This commit is contained in:
@@ -403,6 +403,7 @@ private module Cached {
|
||||
}
|
||||
|
||||
cached
|
||||
pragma[no_dynamic_join_order]
|
||||
Instruction getChiInstructionTotalOperand(ChiInstruction chiInstr) {
|
||||
exists(
|
||||
Alias::VirtualVariable vvar, OldInstruction oldInstr, OldBlock defBlock, int defRank,
|
||||
|
||||
@@ -403,6 +403,7 @@ private module Cached {
|
||||
}
|
||||
|
||||
cached
|
||||
pragma[no_dynamic_join_order]
|
||||
Instruction getChiInstructionTotalOperand(ChiInstruction chiInstr) {
|
||||
exists(
|
||||
Alias::VirtualVariable vvar, OldInstruction oldInstr, OldBlock defBlock, int defRank,
|
||||
|
||||
Reference in New Issue
Block a user