hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-20 06:24:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Check that there is only one overlap

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-02-14 11:13:17 +01:00
parent e1644dd68b
commit 121c5e436d
3 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll
View File

@@ -61,12 +61,14 @@ newtype TValueNumber =
*/
class CongruentCopyInstruction extends CopyInstruction {
CongruentCopyInstruction() {
strictcount(this.getSourceValueOperand().getDefinitionOverlap()) = 1 and
this.getSourceValueOperand().getDefinitionOverlap() instanceof MustExactlyOverlap
}
}
class LoadTotalOverlapInstruction extends LoadInstruction {
LoadTotalOverlapInstruction() {
strictcount(this.getSourceValueOperand().getDefinitionOverlap()) = 1 and
this.getSourceValueOperand().getDefinitionOverlap() instanceof MustTotallyOverlap
}
}

2
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll
View File

@@ -61,12 +61,14 @@ newtype TValueNumber =
*/
class CongruentCopyInstruction extends CopyInstruction {
CongruentCopyInstruction() {
strictcount(this.getSourceValueOperand().getDefinitionOverlap()) = 1 and
this.getSourceValueOperand().getDefinitionOverlap() instanceof MustExactlyOverlap
}
}
class LoadTotalOverlapInstruction extends LoadInstruction {
LoadTotalOverlapInstruction() {
strictcount(this.getSourceValueOperand().getDefinitionOverlap()) = 1 and
this.getSourceValueOperand().getDefinitionOverlap() instanceof MustTotallyOverlap
}
}

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll
View File

@@ -61,12 +61,14 @@ newtype TValueNumber =
*/
class CongruentCopyInstruction extends CopyInstruction {
CongruentCopyInstruction() {
strictcount(this.getSourceValueOperand().getDefinitionOverlap()) = 1 and
this.getSourceValueOperand().getDefinitionOverlap() instanceof MustExactlyOverlap
}
}
class LoadTotalOverlapInstruction extends LoadInstruction {
LoadTotalOverlapInstruction() {
strictcount(this.getSourceValueOperand().getDefinitionOverlap()) = 1 and
this.getSourceValueOperand().getDefinitionOverlap() instanceof MustTotallyOverlap
}
}