hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-19 18:33:16 +01:00
Code Issues Packages Projects Releases Wiki Activity

Python: Add missing override annotations.

Browse Source
This commit is contained in:
Taus Brock-Nannestad
2019-04-25 16:48:47 +02:00
parent 3231b60e6b
commit c8cbae37d9
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/Variables/Undefined.qll
View File

@@ -127,7 +127,7 @@ private predicate maybe_call_to_exiting_function(CallNode call) {
/** Prune edges where the predecessor block looks like it might contain a call to an exit function. */
class ExitFunctionGuardedEdge extends DataFlowExtension::DataFlowVariable {
predicate prunedSuccessor(EssaVariable succ) {
override predicate prunedSuccessor(EssaVariable succ) {
exists(CallNode exit_call |
succ.(PhiFunction).getInput(exit_call.getBasicBlock()) = this and
maybe_call_to_exiting_function(exit_call)