split out comment over multiple lines

This commit is contained in:
Erik Krogh Kristensen
2020-09-01 13:12:44 +02:00
parent c6947320ea
commit 2628c05e43

View File

@@ -71,7 +71,9 @@ predicate localExceptionStep(DataFlow::Node pred, DataFlow::Node succ) {
*/
predicate localExceptionStepWithAsyncFlag(DataFlow::Node pred, DataFlow::Node succ, boolean async) {
exists(DataFlow::Node target | target = getThrowTarget(pred) |
async = false and // this also covers generators - as the behavior of exceptions is close enough to the behavior of ordinary functions when it comes to exceptions (assuming that the iterator does not cross function boundaries).
// this also covers generators - as the behavior of exceptions is close enough to the behavior of ordinary
// functions when it comes to exceptions (assuming that the iterator does not cross function boundaries).
async = false and
succ = target and
not succ = any(DataFlow::FunctionNode f | f.getFunction().isAsync()).getExceptionalReturn()
or