The Opcode
for an UnreachedInstruction
.
See the UnreachedInstruction
documentation for more details.
Import path
import semmle.code.cpp.ir.IR
Direct supertypes
Indirect supertypes
Predicates
toString | Gets a textual representation of this element. |
Inherited predicates
getReadMemoryAccess | Gets the kind of memory access performed by this instruction’s | from Opcode |
getWriteMemoryAccess | Gets the kind of memory access performed by this instruction’s result. Holds only for opcodes with a memory result. | from Opcode |
hasAddressOperand | Holds if the instruction has an | from Opcode |
hasBufferSizeOperand | Holds if the instruction has a | from Opcode |
hasMayReadMemoryAccess | Holds if the instruction’s read memory access is a | from Opcode |
hasMayWriteMemoryAccess | Holds if the instruction’s write memory access is a | from Opcode |
hasOperand | Holds if the instruction must have an operand with the specified | from Opcode |
hasOperandInternal | Holds if the instruction must have an operand with the specified | from Opcode |