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++: More IR reshuffling

Browse Source 
Remove redundant "_ir" suffix.
Move non-user-importable modules into "implementation" directory.
This commit is contained in:
Dave Bartolomeo
2018-08-31 10:18:05 -07:00
parent 97cfbd9488
commit aa4436fa22
88 changed files with 73 additions and 74 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/ir/IR.qll
View File

@@ -1,3 +1,3 @@
// Most queries should operate on the aliased SSA IR, so that's what we expose
// publically as the "IR".
import internal.aliased_ssa_ir.IR
import internal.aliased_ssa.IR

2
cpp/ql/src/semmle/code/cpp/ir/IRSanity.ql
View File

@@ -5,4 +5,4 @@
* @id cpp/ir-sanity-check
*/
import internal.aliased_ssa_ir.IRSanity
import internal.aliased_ssa.IRSanity

1
cpp/ql/src/semmle/code/cpp/ir/Opcode.qll
View File

@@ -1 +0,0 @@
import internal.Opcode

2
cpp/ql/src/semmle/code/cpp/ir/PrintIR.ql
View File

@@ -5,4 +5,4 @@
* @kind graph
*/
import internal.aliased_ssa_ir.PrintIR
import internal.aliased_ssa.PrintIR

0
cpp/ql/src/semmle/code/cpp/ir/EdgeKind.qll → cpp/ql/src/semmle/code/cpp/ir/implementation/EdgeKind.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/MemoryAccessKind.qll → cpp/ql/src/semmle/code/cpp/ir/implementation/MemoryAccessKind.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/Opcode.qll → cpp/ql/src/semmle/code/cpp/ir/implementation/Opcode.qll
View File

2
cpp/ql/src/semmle/code/cpp/ir/TempVariableTag.qll → cpp/ql/src/semmle/code/cpp/ir/implementation/TempVariableTag.qll
View File

@@ -1,5 +1,5 @@
import cpp
private import internal.TempVariableTag
private import semmle.code.cpp.ir.internal.TempVariableTag
class TempVariableTag extends TTempVariableTag {
string toString() {

0
cpp/ql/src/semmle/code/cpp/ir/ValueCategory.qll → cpp/ql/src/semmle/code/cpp/ir/implementation/ValueCategory.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/AliasAnalysis.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/AliasAnalysis.qll
View File

1
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/AliasAnalysisInternal.qll Normal file
View File

@@ -0,0 +1 @@
import semmle.code.cpp.ir.internal.unaliased_ssa.IR as InputIR

0
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/FunctionIR.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/FunctionIR.qll
View File

7
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/IR.qll Normal file
View File

@@ -0,0 +1,7 @@
import FunctionIR
import Instruction
import IRBlock
import IRVariable
import OperandTag
import semmle.code.cpp.ir.implementation.EdgeKind
import semmle.code.cpp.ir.implementation.MemoryAccessKind

2
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/IRBlock.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/IRBlock.qll
View File

@@ -1,7 +1,7 @@
private import IRInternal
private import IRBlockConstruction
import Instruction
import semmle.code.cpp.ir.EdgeKind
import semmle.code.cpp.ir.implementation.EdgeKind
class IRBlock extends TIRBlock {
final string toString() {

0
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/IRBlockConstruction.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/IRBlockConstruction.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/IRInternal.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/IRInternal.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/IRSanity.ql → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/IRSanity.ql
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/IRSanity.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/IRSanity.qll
View File

2
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/IRVariable.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/IRVariable.qll
View File

@@ -1,7 +1,7 @@
private import IRInternal
import FunctionIR
import cpp
import semmle.code.cpp.ir.TempVariableTag
import semmle.code.cpp.ir.implementation.TempVariableTag
private import semmle.code.cpp.ir.internal.TempVariableTag
private newtype TIRVariable =

8
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/Instruction.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/Instruction.qll
View File

@@ -4,10 +4,10 @@ import IRBlock
import IRVariable
import OperandTag
import cpp
import semmle.code.cpp.ir.EdgeKind
import semmle.code.cpp.ir.MemoryAccessKind
import semmle.code.cpp.ir.Opcode
private import semmle.code.cpp.ir.internal.Opcode
import semmle.code.cpp.ir.implementation.EdgeKind
import semmle.code.cpp.ir.implementation.MemoryAccessKind
import semmle.code.cpp.ir.implementation.Opcode
private import semmle.code.cpp.ir.implementation.Opcode
class InstructionTag = Construction::InstructionTagType;

0
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/OperandTag.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/OperandTag.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/PrintIR.ql → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/PrintIR.ql
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/PrintIR.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/PrintIR.qll
View File

2
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/SSAConstruction.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/SSAConstruction.qll
View File

@@ -1,6 +1,6 @@
import SSAConstructionInternal
import cpp
private import semmle.code.cpp.ir.internal.Opcode
private import semmle.code.cpp.ir.implementation.Opcode
import NewIR
import Cached

3
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/SSAConstructionInternal.qll Normal file
View File

@@ -0,0 +1,3 @@
import semmle.code.cpp.ir.internal.unaliased_ssa.IR as OldIR
import semmle.code.cpp.ir.internal.aliased_ssa.IR as NewIR
import SimpleSSA as Alias

0
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/SimpleSSA.qll → cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/SimpleSSA.qll
View File

3
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa/SimpleSSAInternal.qll Normal file
View File

@@ -0,0 +1,3 @@
import AliasAnalysis as Alias
import semmle.code.cpp.ir.internal.unaliased_ssa.IR as InputIR

1
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/AliasAnalysisInternal.qll
View File

@@ -1 +0,0 @@
import semmle.code.cpp.ir.internal.ssa_ir.IR as InputIR

7
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/IR.qll
View File

@@ -1,7 +0,0 @@
import FunctionIR
import Instruction
import IRBlock
import IRVariable
import OperandTag
import semmle.code.cpp.ir.EdgeKind
import semmle.code.cpp.ir.MemoryAccessKind

3
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/SSAConstructionInternal.qll
View File

@@ -1,3 +0,0 @@
import semmle.code.cpp.ir.internal.ssa_ir.IR as OldIR
import semmle.code.cpp.ir.internal.aliased_ssa_ir.IR as NewIR
import SimpleSSA as Alias

3
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/SimpleSSAInternal.qll
View File

@@ -1,3 +0,0 @@
import AliasAnalysis as Alias
import semmle.code.cpp.ir.internal.ssa_ir.IR as InputIR

0
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/FunctionIR.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/FunctionIR.qll
View File

7
cpp/ql/src/semmle/code/cpp/ir/internal/raw/IR.qll Normal file
View File

@@ -0,0 +1,7 @@
import FunctionIR
import Instruction
import IRBlock
import IRVariable
import OperandTag
import semmle.code.cpp.ir.implementation.EdgeKind
import semmle.code.cpp.ir.implementation.MemoryAccessKind

2
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/IRBlock.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/IRBlock.qll
View File

@@ -1,7 +1,7 @@
private import IRInternal
private import IRBlockConstruction
import Instruction
import semmle.code.cpp.ir.EdgeKind
import semmle.code.cpp.ir.implementation.EdgeKind
class IRBlock extends TIRBlock {
final string toString() {

2
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/IRBlockConstruction.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/IRBlockConstruction.qll
View File

@@ -1,7 +1,7 @@
private import IRInternal
import Instruction
import cpp
import semmle.code.cpp.ir.EdgeKind
import semmle.code.cpp.ir.implementation.EdgeKind
private predicate startsBasicBlock(Instruction instr) {
not instr instanceof PhiInstruction and

2
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/IRConstruction.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/IRConstruction.qll
View File

@@ -1,5 +1,5 @@
import cpp
import semmle.code.cpp.ir.internal.raw_ir.IR
import semmle.code.cpp.ir.internal.raw.IR
private import semmle.code.cpp.ir.internal.TempVariableTag
private import InstructionTag
private import TranslatedElement

0
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/IRInternal.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/IRInternal.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/IRSanity.ql → cpp/ql/src/semmle/code/cpp/ir/internal/raw/IRSanity.ql
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/IRSanity.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/IRSanity.qll
View File

2
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/IRVariable.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/IRVariable.qll
View File

@@ -1,7 +1,7 @@
private import IRInternal
import FunctionIR
import cpp
import semmle.code.cpp.ir.TempVariableTag
import semmle.code.cpp.ir.implementation.TempVariableTag
private import semmle.code.cpp.ir.internal.TempVariableTag
private newtype TIRVariable =

8
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/Instruction.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/Instruction.qll
View File

@@ -4,10 +4,10 @@ import IRBlock
import IRVariable
import OperandTag
import cpp
import semmle.code.cpp.ir.EdgeKind
import semmle.code.cpp.ir.MemoryAccessKind
import semmle.code.cpp.ir.Opcode
private import semmle.code.cpp.ir.internal.Opcode
import semmle.code.cpp.ir.implementation.EdgeKind
import semmle.code.cpp.ir.implementation.MemoryAccessKind
import semmle.code.cpp.ir.implementation.Opcode
private import semmle.code.cpp.ir.implementation.Opcode
class InstructionTag = Construction::InstructionTagType;

0
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/InstructionTag.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/InstructionTag.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/OperandTag.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/OperandTag.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/PrintIR.ql → cpp/ql/src/semmle/code/cpp/ir/internal/raw/PrintIR.ql
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/PrintIR.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/PrintIR.qll
View File

2
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/TranslatedCondition.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/TranslatedCondition.qll
View File

@@ -1,5 +1,5 @@
import cpp
private import semmle.code.cpp.ir.internal.Opcode
private import semmle.code.cpp.ir.implementation.Opcode
private import InstructionTag
private import TranslatedElement
private import TranslatedExpr

2
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/TranslatedDeclarationEntry.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/TranslatedDeclarationEntry.qll
View File

@@ -1,5 +1,5 @@
import cpp
private import semmle.code.cpp.ir.internal.Opcode
private import semmle.code.cpp.ir.implementation.Opcode
private import InstructionTag
private import TranslatedElement
private import TranslatedExpr

4
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/TranslatedElement.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/TranslatedElement.qll
View File

@@ -1,6 +1,6 @@
import cpp
import semmle.code.cpp.ir.internal.raw_ir.IR
private import semmle.code.cpp.ir.internal.Opcode
import semmle.code.cpp.ir.internal.raw.IR
private import semmle.code.cpp.ir.implementation.Opcode
private import semmle.code.cpp.ir.internal.TempVariableTag
private import InstructionTag
private import TranslatedCondition

2
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/TranslatedExpr.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/TranslatedExpr.qll
View File

@@ -1,5 +1,5 @@
import cpp
private import semmle.code.cpp.ir.internal.Opcode
private import semmle.code.cpp.ir.implementation.Opcode
private import semmle.code.cpp.ir.internal.TempVariableTag
private import InstructionTag
private import TranslatedCondition

4
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/TranslatedFunction.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/TranslatedFunction.qll
View File

@@ -1,6 +1,6 @@
import cpp
import semmle.code.cpp.ir.internal.raw_ir.IR
private import semmle.code.cpp.ir.internal.Opcode
import semmle.code.cpp.ir.internal.raw.IR
private import semmle.code.cpp.ir.implementation.Opcode
private import semmle.code.cpp.ir.internal.TempVariableTag
private import InstructionTag
private import TranslatedElement

2
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/TranslatedInitialization.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/TranslatedInitialization.qll
View File

@@ -1,5 +1,5 @@
import cpp
private import semmle.code.cpp.ir.internal.Opcode
private import semmle.code.cpp.ir.implementation.Opcode
private import InstructionTag
private import TranslatedElement
private import TranslatedExpr

0
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/TranslatedStmt.qll → cpp/ql/src/semmle/code/cpp/ir/internal/raw/TranslatedStmt.qll
View File

7
cpp/ql/src/semmle/code/cpp/ir/internal/raw_ir/IR.qll
View File

@@ -1,7 +0,0 @@
import FunctionIR
import Instruction
import IRBlock
import IRVariable
import OperandTag
import semmle.code.cpp.ir.EdgeKind
import semmle.code.cpp.ir.MemoryAccessKind

1
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/AliasAnalysisInternal.qll
View File

@@ -1 +0,0 @@
import semmle.code.cpp.ir.internal.raw_ir.IR as InputIR

7
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/IR.qll
View File

@@ -1,7 +0,0 @@
import FunctionIR
import Instruction
import IRBlock
import IRVariable
import OperandTag
import semmle.code.cpp.ir.EdgeKind
import semmle.code.cpp.ir.MemoryAccessKind

3
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/SSAConstructionInternal.qll
View File

@@ -1,3 +0,0 @@
import semmle.code.cpp.ir.internal.raw_ir.IR as OldIR
import semmle.code.cpp.ir.internal.ssa_ir.IR as NewIR
import SimpleSSA as Alias

2
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/SimpleSSAInternal.qll
View File

@@ -1,2 +0,0 @@
import AliasAnalysis as Alias
import semmle.code.cpp.ir.internal.raw_ir.IR as InputIR

0
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/AliasAnalysis.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/AliasAnalysis.qll
View File

1
cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/AliasAnalysisInternal.qll Normal file
View File

@@ -0,0 +1 @@
import semmle.code.cpp.ir.internal.raw.IR as InputIR

0
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/FunctionIR.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/FunctionIR.qll
View File

7
cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/IR.qll Normal file
View File

@@ -0,0 +1,7 @@
import FunctionIR
import Instruction
import IRBlock
import IRVariable
import OperandTag
import semmle.code.cpp.ir.implementation.EdgeKind
import semmle.code.cpp.ir.implementation.MemoryAccessKind

2
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/IRBlock.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/IRBlock.qll
View File

@@ -1,7 +1,7 @@
private import IRInternal
private import IRBlockConstruction
import Instruction
import semmle.code.cpp.ir.EdgeKind
import semmle.code.cpp.ir.implementation.EdgeKind
class IRBlock extends TIRBlock {
final string toString() {

0
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/IRBlockConstruction.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/IRBlockConstruction.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/IRInternal.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/IRInternal.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/IRSanity.ql → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/IRSanity.ql
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/IRSanity.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/IRSanity.qll
View File

2
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/IRVariable.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/IRVariable.qll
View File

@@ -1,7 +1,7 @@
private import IRInternal
import FunctionIR
import cpp
import semmle.code.cpp.ir.TempVariableTag
import semmle.code.cpp.ir.implementation.TempVariableTag
private import semmle.code.cpp.ir.internal.TempVariableTag
private newtype TIRVariable =

8
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/Instruction.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/Instruction.qll
View File

@@ -4,10 +4,10 @@ import IRBlock
import IRVariable
import OperandTag
import cpp
import semmle.code.cpp.ir.EdgeKind
import semmle.code.cpp.ir.MemoryAccessKind
import semmle.code.cpp.ir.Opcode
private import semmle.code.cpp.ir.internal.Opcode
import semmle.code.cpp.ir.implementation.EdgeKind
import semmle.code.cpp.ir.implementation.MemoryAccessKind
import semmle.code.cpp.ir.implementation.Opcode
private import semmle.code.cpp.ir.implementation.Opcode
class InstructionTag = Construction::InstructionTagType;

0
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/OperandTag.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/OperandTag.qll
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/PrintIR.ql → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/PrintIR.ql
View File

0
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/PrintIR.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/PrintIR.qll
View File

2
cpp/ql/src/semmle/code/cpp/ir/internal/aliased_ssa_ir/SSAConstruction.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/SSAConstruction.qll
View File

@@ -1,6 +1,6 @@
import SSAConstructionInternal
import cpp
private import semmle.code.cpp.ir.internal.Opcode
private import semmle.code.cpp.ir.implementation.Opcode
import NewIR
import Cached

3
cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/SSAConstructionInternal.qll Normal file
View File

@@ -0,0 +1,3 @@
import semmle.code.cpp.ir.internal.raw.IR as OldIR
import semmle.code.cpp.ir.internal.unaliased_ssa.IR as NewIR
import SimpleSSA as Alias

0
cpp/ql/src/semmle/code/cpp/ir/internal/ssa_ir/SimpleSSA.qll → cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/SimpleSSA.qll
View File

2
cpp/ql/src/semmle/code/cpp/ir/internal/unaliased_ssa/SimpleSSAInternal.qll Normal file
View File

@@ -0,0 +1,2 @@
import AliasAnalysis as Alias
import semmle.code.cpp.ir.internal.raw.IR as InputIR

2
cpp/ql/test/library-tests/ir/constant_func/constant_func.ql
View File

@@ -1,5 +1,5 @@
import default
import semmle.code.cpp.ir.internal.ssa_ir.IR
import semmle.code.cpp.ir.IR
import semmle.code.cpp.ir.internal.IntegerConstant
language[monotonicAggregates]

1
cpp/ql/test/library-tests/ir/ir/RawIRSanity.qlref
View File

@@ -1 +0,0 @@
semmle/code/cpp/ir/internal/raw_ir/IRSanity.ql

1
cpp/ql/test/library-tests/ir/ir/SSAIRSanity.qlref
View File

@@ -1 +0,0 @@
semmle/code/cpp/ir/internal/ssa_ir/IRSanity.ql

0
cpp/ql/test/library-tests/ir/ir/AliasedSSAIRSanity.expected → cpp/ql/test/library-tests/ir/ir/aliased_ssa_sanity.expected
View File

0
cpp/ql/test/library-tests/ir/ir/AliasedSSAIRSanity.qlref → cpp/ql/test/library-tests/ir/ir/aliased_ssa_sanity.qlref
View File

2
cpp/ql/test/library-tests/ir/ir/raw_ir.qlref
View File

@@ -1 +1 @@
semmle/code/cpp/ir/internal/raw_ir/PrintIR.ql
semmle/code/cpp/ir/internal/raw/PrintIR.ql

0
cpp/ql/test/library-tests/ir/ir/RawIRSanity.expected → cpp/ql/test/library-tests/ir/ir/raw_sanity.expected
View File

1
cpp/ql/test/library-tests/ir/ir/raw_sanity.qlref Normal file
View File

@@ -0,0 +1 @@
semmle/code/cpp/ir/internal/raw/IRSanity.ql

1
cpp/ql/test/library-tests/ir/ir/ssa_ir.qlref
View File

@@ -1 +0,0 @@
semmle/code/cpp/ir/internal/ssa_ir/PrintIR.ql

0
cpp/ql/test/library-tests/ir/ir/ssa_ir.expected → cpp/ql/test/library-tests/ir/ir/unaliased_ssa_ir.expected
View File

1
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_ir.qlref Normal file
View File

@@ -0,0 +1 @@
semmle/code/cpp/ir/internal/unaliased_ssa/PrintIR.ql

0
cpp/ql/test/library-tests/ir/ir/SSAIRSanity.expected → cpp/ql/test/library-tests/ir/ir/unaliased_ssa_sanity.expected
View File

1
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_sanity.qlref Normal file
View File

@@ -0,0 +1 @@
semmle/code/cpp/ir/internal/unaliased_ssa/IRSanity.ql