From de89733bd6dc85dfcf468999fd2f32e2c7f35263 Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Thu, 21 Mar 2019 15:46:54 +0100 Subject: [PATCH] [SMTChecker] Fix nullptr deref --- libsolidity/formal/SMTChecker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libsolidity/formal/SMTChecker.cpp b/libsolidity/formal/SMTChecker.cpp index 5085a7991..efa29c514 100644 --- a/libsolidity/formal/SMTChecker.cpp +++ b/libsolidity/formal/SMTChecker.cpp @@ -791,7 +791,7 @@ void SMTChecker::endVisit(Literal const& _literal) void SMTChecker::endVisit(Return const& _return) { - if (knownExpr(*_return.expression())) + if (_return.expression() && knownExpr(*_return.expression())) { auto returnParams = m_functionPath.back()->returnParameters(); if (returnParams.size() > 1)