CodeQL library for C/C++
codeql/cpp-all 0.12.8-dev (changelog, source)
Search

Datatype TInstruction

An IR instruction. TInstruction is shared across all phases of the IR. There are individual branches of this type for instructions created directly from the AST (TRawInstruction) and for instructions added by each stage of SSA construction (T*PhiInstruction, T*ChiInstruction, T*UnreachedInstruction). Each stage then defines a TStageInstruction type that is a union of all of the branches that can appear in that particular stage. The public Instruction class for each phase extends the TStageInstruction type for that stage.

Import path

import semmle.code.cpp.ir.implementation.internal.TInstruction

Branch types

Injectors