add qldoc to benignContext predicate

Co-Authored-By: Esben Sparre Andreasen <42067045+esben-semmle@users.noreply.github.com>
This commit is contained in:
Erik Krogh Kristensen
2019-10-04 10:29:01 +02:00
committed by Erik Krogh Kristensen
parent 63b3005217
commit 8c7f316a57

View File

@@ -29,6 +29,9 @@ predicate isStub(Function f) {
f instanceof ExternalDecl
}
/**
* Holds if `e` is in a syntactic context where it likely is fine that the value of `e` comes from a call to a returnless function.
*/
predicate benignContext(Expr e) {
inVoidContext(e) or