File tree Expand file tree Collapse file tree
cpp/ql/src/semmle/code/cpp/ir/implementation
csharp/ql/src/semmle/code/csharp/ir/implementation Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -1239,6 +1239,11 @@ class IndirectReadSideEffectInstruction extends ReadSideEffectInstruction {
12391239/**
12401240 * An instruction representing the read of an indirect buffer parameter within a function call.
12411241 */
1242+ class BufferReadSideEffectInstruction extends ReadSideEffectInstruction {
1243+ BufferReadSideEffectInstruction ( ) { getOpcode ( ) instanceof Opcode:: BufferReadSideEffect }
1244+ }
1245+
1246+ /**
12421247 * An instruction representing the read of an indirect buffer parameter within a function call.
12431248 */
12441249class SizedBufferReadSideEffectInstruction extends ReadSideEffectInstruction {
Original file line number Diff line number Diff line change @@ -1239,6 +1239,11 @@ class IndirectReadSideEffectInstruction extends ReadSideEffectInstruction {
12391239/**
12401240 * An instruction representing the read of an indirect buffer parameter within a function call.
12411241 */
1242+ class BufferReadSideEffectInstruction extends ReadSideEffectInstruction {
1243+ BufferReadSideEffectInstruction ( ) { getOpcode ( ) instanceof Opcode:: BufferReadSideEffect }
1244+ }
1245+
1246+ /**
12421247 * An instruction representing the read of an indirect buffer parameter within a function call.
12431248 */
12441249class SizedBufferReadSideEffectInstruction extends ReadSideEffectInstruction {
Original file line number Diff line number Diff line change @@ -1239,6 +1239,11 @@ class IndirectReadSideEffectInstruction extends ReadSideEffectInstruction {
12391239/**
12401240 * An instruction representing the read of an indirect buffer parameter within a function call.
12411241 */
1242+ class BufferReadSideEffectInstruction extends ReadSideEffectInstruction {
1243+ BufferReadSideEffectInstruction ( ) { getOpcode ( ) instanceof Opcode:: BufferReadSideEffect }
1244+ }
1245+
1246+ /**
12421247 * An instruction representing the read of an indirect buffer parameter within a function call.
12431248 */
12441249class SizedBufferReadSideEffectInstruction extends ReadSideEffectInstruction {
Original file line number Diff line number Diff line change @@ -1239,6 +1239,11 @@ class IndirectReadSideEffectInstruction extends ReadSideEffectInstruction {
12391239/**
12401240 * An instruction representing the read of an indirect buffer parameter within a function call.
12411241 */
1242+ class BufferReadSideEffectInstruction extends ReadSideEffectInstruction {
1243+ BufferReadSideEffectInstruction ( ) { getOpcode ( ) instanceof Opcode:: BufferReadSideEffect }
1244+ }
1245+
1246+ /**
12421247 * An instruction representing the read of an indirect buffer parameter within a function call.
12431248 */
12441249class SizedBufferReadSideEffectInstruction extends ReadSideEffectInstruction {
Original file line number Diff line number Diff line change @@ -1239,6 +1239,11 @@ class IndirectReadSideEffectInstruction extends ReadSideEffectInstruction {
12391239/**
12401240 * An instruction representing the read of an indirect buffer parameter within a function call.
12411241 */
1242+ class BufferReadSideEffectInstruction extends ReadSideEffectInstruction {
1243+ BufferReadSideEffectInstruction ( ) { getOpcode ( ) instanceof Opcode:: BufferReadSideEffect }
1244+ }
1245+
1246+ /**
12421247 * An instruction representing the read of an indirect buffer parameter within a function call.
12431248 */
12441249class SizedBufferReadSideEffectInstruction extends ReadSideEffectInstruction {
You can’t perform that action at this time.
0 commit comments