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 {
158158 operand = instr .getAnOperand ( ) and
159159 def = operand .getAnyDef ( ) and
160160 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
163162 func = instr .getEnclosingIRFunction ( ) and
164163 funcText = Language:: getIdentityString ( func .getFunction ( ) )
165164 )
Original file line number Diff line number Diff line change @@ -158,8 +158,7 @@ module InstructionConsistency {
158158 operand = instr .getAnOperand ( ) and
159159 def = operand .getAnyDef ( ) and
160160 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
163162 func = instr .getEnclosingIRFunction ( ) and
164163 funcText = Language:: getIdentityString ( func .getFunction ( ) )
165164 )
Original file line number Diff line number Diff line change @@ -158,8 +158,7 @@ module InstructionConsistency {
158158 operand = instr .getAnOperand ( ) and
159159 def = operand .getAnyDef ( ) and
160160 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
163162 func = instr .getEnclosingIRFunction ( ) and
164163 funcText = Language:: getIdentityString ( func .getFunction ( ) )
165164 )
Original file line number Diff line number Diff line change @@ -158,8 +158,7 @@ module InstructionConsistency {
158158 operand = instr .getAnOperand ( ) and
159159 def = operand .getAnyDef ( ) and
160160 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
163162 func = instr .getEnclosingIRFunction ( ) and
164163 funcText = Language:: getIdentityString ( func .getFunction ( ) )
165164 )
Original file line number Diff line number Diff line change @@ -158,8 +158,7 @@ module InstructionConsistency {
158158 operand = instr .getAnOperand ( ) and
159159 def = operand .getAnyDef ( ) and
160160 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
163162 func = instr .getEnclosingIRFunction ( ) and
164163 funcText = Language:: getIdentityString ( func .getFunction ( ) )
165164 )
You can’t perform that action at this time.
0 commit comments