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

C++: Replace implication with disjunction in charpred for Call

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-06-30 09:18:52 +02:00
parent 667bb323ac
commit 50709b235e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/exprs/Call.qll
View File

@@ -16,7 +16,7 @@ class Call extends Expr, NameQualifiableElement, TCall {
// ```
// So for the charpred for `Call` we include the requirement that if this is an instance of
// `@funbindexpr` it must be a _call_ to the function.
Call() { this instanceof @funbindexpr implies iscall(underlyingElement(this), _) }
Call() { this instanceof @callexpr or iscall(underlyingElement(this), _) }
/**
* Gets the number of arguments (actual parameters) of this call. The count