hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Extend final IRBlock

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-08-22 10:32:24 +02:00
parent 3821f172df
commit 6ffb9b129f
3 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRBlock.qll
View File

@@ -269,7 +269,9 @@ module IRCfg implements BB::CfgSig<Language::Location> {
class SuccessorType = EdgeKind;
class BasicBlock extends IRBlock {
final private class FinalIRBlock = IRBlock;
class BasicBlock extends FinalIRBlock {
ControlFlowNode getNode(int i) { result = this.getInstruction(i) }
ControlFlowNode getLastNode() { result = super.getLastInstruction() }

4
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRBlock.qll
View File

@@ -269,7 +269,9 @@ module IRCfg implements BB::CfgSig<Language::Location> {
class SuccessorType = EdgeKind;
class BasicBlock extends IRBlock {
final private class FinalIRBlock = IRBlock;
class BasicBlock extends FinalIRBlock {
ControlFlowNode getNode(int i) { result = this.getInstruction(i) }
ControlFlowNode getLastNode() { result = super.getLastInstruction() }

4
cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRBlock.qll
View File

@@ -269,7 +269,9 @@ module IRCfg implements BB::CfgSig<Language::Location> {
class SuccessorType = EdgeKind;
class BasicBlock extends IRBlock {
final private class FinalIRBlock = IRBlock;
class BasicBlock extends FinalIRBlock {
ControlFlowNode getNode(int i) { result = this.getInstruction(i) }
ControlFlowNode getLastNode() { result = super.getLastInstruction() }