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

Remove duplicate of expr exception propagation logic

Browse Source
This commit is contained in:
Chris Smowton
2023-11-27 14:10:32 +00:00
parent 6f3bff19cc
commit e50a0eee59
1 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/lib/semmle/code/java/ControlFlowGraph.qll
View File

@@ -973,7 +973,6 @@ private module ControlFlowGraphImpl {
// A pattern case statement can complete:
// * On failure of its type test (boolean false)
// * On failure of its guard test if any (boolean false)
// * On any abrupt completion of its guard
// * On completion of its variable declarations, if it is not a rule and has no guard (normal completion)
// * On success of its guard test, if it is not a rule (boolean true)
// (the latter two cases are accounted for by lastPatternCaseMatchingOp)
@@ -981,10 +980,7 @@ private module ControlFlowGraphImpl {
last = pc and completion = basicBooleanCompletion(false)
or
last(pc.getGuard(), last, completion) and
(
completion = BooleanCompletion(false, _) or
not completion instanceof NormalOrBooleanCompletion
)
completion = BooleanCompletion(false, _)
or
not pc.isRule() and
lastPatternCaseMatchingOp(pc, last, completion)