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

[CPP-340] Refactor MistypedFunctionArguments.ql further.

Browse Source
This commit is contained in:
Ziemowit Laski
2019-04-14 11:31:10 -07:00
parent b58f414ede
commit 61c91b67aa
1 changed files with 3 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
cpp/ql/src/Likely Bugs/Underspecified Functions/MistypedFunctionArguments.ql
View File

@@ -15,8 +15,8 @@
import cpp
predicate arithTypesMatch(Type arg, Type parm) {
arg instanceof ArithmeticType and
parm instanceof ArithmeticType and
arg = parm
or
arg.getSize() = parm.getSize() and
(
arg instanceof IntegralOrEnumType and
@@ -26,10 +26,9 @@ predicate arithTypesMatch(Type arg, Type parm) {
parm instanceof FloatingPointType
)
}
pragma[inline]
predicate pointerArgTypeMayBeUsed(Type arg, Type parm) {
arg = parm
or
// arithmetic types
arithTypesMatch(arg, parm)
or
@@ -41,8 +40,6 @@ predicate pointerArgTypeMayBeUsed(Type arg, Type parm) {
pragma[inline]
predicate argTypeMayBeUsed(Type arg, Type parm) {
arg = parm
or
// arithmetic types
arithTypesMatch(arg, parm)
or