Fix `mayHaveSideEffects` for `ReturnStmt`

The previous code only worked when the return statement
only has one returned expression.
This commit is contained in:
Owen Mansel-Chan 2022-11-30 15:55:04 +00:00
Родитель 2c500142c7
Коммит d588ee375b
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 67E427E02E6DA1B8
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -569,7 +569,7 @@ class ReturnStmt extends @returnstmt, Stmt {
/** Gets the unique returned expression, if there is only one. */
Expr getExpr() { getNumChild() = 1 and result = getExpr(0) }
override predicate mayHaveSideEffects() { getExpr().mayHaveSideEffects() }
override predicate mayHaveSideEffects() { getAnExpr().mayHaveSideEffects() }
override string toString() { result = "return statement" }