hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 01:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Simplify 'converts'.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-03-30 11:16:54 +01:00
parent 4b2758f1b5
commit 4602a8ae4a
1 changed files with 2 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticExprSpecific.qll
View File

@@ -22,17 +22,8 @@ module SemanticExprConfig {
/** Holds if this instruction converts a value of type `tFrom` to a value of type `tTo`. */
predicate converts(SemType tFrom, SemType tTo) {
exists(IR::ConvertInstruction convert |
this = convert and
tFrom = getSemanticType(convert.getUnary().getResultIRType()) and
tTo = getSemanticType(convert.getResultIRType())
)
or
exists(IR::CopyValueInstruction copy |
this = copy and
tFrom = getSemanticType(copy.getUnary().getResultIRType()) and
tTo = getSemanticType(copy.getResultIRType())
)
tFrom = getSemanticType(this.getUnary().getResultIRType()) and
tTo = getSemanticType(this.getResultIRType())
}
}