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 {
65
65
instr = reusedPhiInstruction ( _) and
66
66
// Check that the phi instruction is *not* degenerate, but we can't use
67
67
// 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
+ )
72
74
or
73
75
instr instanceof TChiInstruction
74
76
or
Original file line number Diff line number Diff line change @@ -65,10 +65,12 @@ private module Cached {
65
65
instr = reusedPhiInstruction ( _) and
66
66
// Check that the phi instruction is *not* degenerate, but we can't use
67
67
// 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
+ )
72
74
or
73
75
instr instanceof TChiInstruction
74
76
or
Original file line number Diff line number Diff line change @@ -65,10 +65,12 @@ private module Cached {
65
65
instr = reusedPhiInstruction ( _) and
66
66
// Check that the phi instruction is *not* degenerate, but we can't use
67
67
// 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
+ )
72
74
or
73
75
instr instanceof TChiInstruction
74
76
or
You can’t perform that action at this time.
0 commit comments