File tree Expand file tree Collapse file tree 3 files changed +18
-12
lines changed
cpp/ql/src/semmle/code/cpp/ir/implementation
csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal Expand file tree Collapse file tree 3 files changed +18
-12
lines changed Original file line number Diff line number Diff line change @@ -65,10 +65,12 @@ private module Cached {
6565 instr = reusedPhiInstruction ( _) and
6666 // Check that the phi instruction is *not* degenerate, but we can't use
6767 // getDegeneratePhiOperand in the first stage with phi instyructions
68- not exists ( unique( OldIR:: PhiInputOperand operand |
69- operand = instr .( OldIR:: PhiInstruction ) .getAnInputOperand ( ) and
70- operand .getPredecessorBlock ( ) instanceof OldBlock
71- ) )
68+ not exists (
69+ unique( OldIR:: PhiInputOperand operand |
70+ operand = instr .( OldIR:: PhiInstruction ) .getAnInputOperand ( ) and
71+ operand .getPredecessorBlock ( ) instanceof OldBlock
72+ )
73+ )
7274 or
7375 instr instanceof TChiInstruction
7476 or
Original file line number Diff line number Diff line change @@ -65,10 +65,12 @@ private module Cached {
6565 instr = reusedPhiInstruction ( _) and
6666 // Check that the phi instruction is *not* degenerate, but we can't use
6767 // getDegeneratePhiOperand in the first stage with phi instyructions
68- not exists ( unique( OldIR:: PhiInputOperand operand |
69- operand = instr .( OldIR:: PhiInstruction ) .getAnInputOperand ( ) and
70- operand .getPredecessorBlock ( ) instanceof OldBlock
71- ) )
68+ not exists (
69+ unique( OldIR:: PhiInputOperand operand |
70+ operand = instr .( OldIR:: PhiInstruction ) .getAnInputOperand ( ) and
71+ operand .getPredecessorBlock ( ) instanceof OldBlock
72+ )
73+ )
7274 or
7375 instr instanceof TChiInstruction
7476 or
Original file line number Diff line number Diff line change @@ -65,10 +65,12 @@ private module Cached {
6565 instr = reusedPhiInstruction ( _) and
6666 // Check that the phi instruction is *not* degenerate, but we can't use
6767 // getDegeneratePhiOperand in the first stage with phi instyructions
68- not exists ( unique( OldIR:: PhiInputOperand operand |
69- operand = instr .( OldIR:: PhiInstruction ) .getAnInputOperand ( ) and
70- operand .getPredecessorBlock ( ) instanceof OldBlock
71- ) )
68+ not exists (
69+ unique( OldIR:: PhiInputOperand operand |
70+ operand = instr .( OldIR:: PhiInstruction ) .getAnInputOperand ( ) and
71+ operand .getPredecessorBlock ( ) instanceof OldBlock
72+ )
73+ )
7274 or
7375 instr instanceof TChiInstruction
7476 or
You can’t perform that action at this time.
0 commit comments