File tree Expand file tree Collapse file tree 5 files changed +5
-10
lines changed
cpp/ql/src/semmle/code/cpp/ir/implementation
csharp/ql/src/semmle/code/csharp/ir/implementation Expand file tree Collapse file tree 5 files changed +5
-10
lines changed Original file line number Diff line number Diff line change @@ -158,8 +158,7 @@ module InstructionConsistency {
158
158
operand = instr .getAnOperand ( ) and
159
159
def = operand .getAnyDef ( ) and
160
160
not def .isResultModeled ( ) and
161
- message =
162
- "Memory operand definition has unmodeled result in function '$@'" and
161
+ message = "Memory operand definition has unmodeled result in function '$@'" and
163
162
func = instr .getEnclosingIRFunction ( ) and
164
163
funcText = Language:: getIdentityString ( func .getFunction ( ) )
165
164
)
Original file line number Diff line number Diff line change @@ -158,8 +158,7 @@ module InstructionConsistency {
158
158
operand = instr .getAnOperand ( ) and
159
159
def = operand .getAnyDef ( ) and
160
160
not def .isResultModeled ( ) and
161
- message =
162
- "Memory operand definition has unmodeled result in function '$@'" and
161
+ message = "Memory operand definition has unmodeled result in function '$@'" and
163
162
func = instr .getEnclosingIRFunction ( ) and
164
163
funcText = Language:: getIdentityString ( func .getFunction ( ) )
165
164
)
Original file line number Diff line number Diff line change @@ -158,8 +158,7 @@ module InstructionConsistency {
158
158
operand = instr .getAnOperand ( ) and
159
159
def = operand .getAnyDef ( ) and
160
160
not def .isResultModeled ( ) and
161
- message =
162
- "Memory operand definition has unmodeled result in function '$@'" and
161
+ message = "Memory operand definition has unmodeled result in function '$@'" and
163
162
func = instr .getEnclosingIRFunction ( ) and
164
163
funcText = Language:: getIdentityString ( func .getFunction ( ) )
165
164
)
Original file line number Diff line number Diff line change @@ -158,8 +158,7 @@ module InstructionConsistency {
158
158
operand = instr .getAnOperand ( ) and
159
159
def = operand .getAnyDef ( ) and
160
160
not def .isResultModeled ( ) and
161
- message =
162
- "Memory operand definition has unmodeled result in function '$@'" and
161
+ message = "Memory operand definition has unmodeled result in function '$@'" and
163
162
func = instr .getEnclosingIRFunction ( ) and
164
163
funcText = Language:: getIdentityString ( func .getFunction ( ) )
165
164
)
Original file line number Diff line number Diff line change @@ -158,8 +158,7 @@ module InstructionConsistency {
158
158
operand = instr .getAnOperand ( ) and
159
159
def = operand .getAnyDef ( ) and
160
160
not def .isResultModeled ( ) and
161
- message =
162
- "Memory operand definition has unmodeled result in function '$@'" and
161
+ message = "Memory operand definition has unmodeled result in function '$@'" and
163
162
func = instr .getEnclosingIRFunction ( ) and
164
163
funcText = Language:: getIdentityString ( func .getFunction ( ) )
165
164
)
You can’t perform that action at this time.
0 commit comments