Skip to content

Commit 68a972d

Browse files
committed
C++: Delete code that's now dead.
1 parent 6b37cb0 commit 68a972d

File tree

1 file changed

+0
-32
lines changed

1 file changed

+0
-32
lines changed

cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll

Lines changed: 0 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -581,38 +581,6 @@ private string getSignatureWithoutFunctionTemplateNames(
581581
)
582582
}
583583

584-
private string paramsStringPart(Function c, int i) {
585-
not c.isFromUninstantiatedTemplate(_) and
586-
(
587-
i = -1 and result = "(" and exists(c)
588-
or
589-
exists(int n, string p | getParameterTypeName(c, n) = p |
590-
i = 2 * n and result = p
591-
or
592-
i = 2 * n - 1 and result = "," and n != 0
593-
)
594-
or
595-
i = 2 * c.getNumberOfParameters() and result = ")"
596-
)
597-
}
598-
599-
/**
600-
* Gets a parenthesized string containing all parameter types of this callable, separated by a comma.
601-
*
602-
* Returns the empty string if the callable has no parameters.
603-
* Parameter types are represented by their type erasure.
604-
*/
605-
cached
606-
private string paramsString(Function c) {
607-
result = concat(int i | | paramsStringPart(c, i) order by i)
608-
}
609-
610-
bindingset[func]
611-
private predicate matchesSignature(Function func, string signature) {
612-
signature = "" or
613-
paramsString(func) = signature
614-
}
615-
616584
/**
617585
* Holds if `elementSpec(_, type, _, name, signature, _)` holds and
618586
* - `typeArgs` represents the named template parameters supplied to `type`, and

0 commit comments

Comments
 (0)