From 299a5e2541156235ffa07783acc3c1076cb7836b Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Fri, 23 Mar 2018 14:04:21 +0000 Subject: [PATCH] Remove-exceptions: make lambda types explicit --- src/goto-programs/remove_exceptions.cpp | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/goto-programs/remove_exceptions.cpp b/src/goto-programs/remove_exceptions.cpp index f0a8b9b7e5fa..6c70d54f1187 100644 --- a/src/goto-programs/remove_exceptions.cpp +++ b/src/goto-programs/remove_exceptions.cpp @@ -570,10 +570,10 @@ void remove_exceptions( const namespacet ns(symbol_table); std::map> exceptions_map; uncaught_exceptions(goto_functions, ns, exceptions_map); - // NOLINTNEXTLINE - auto function_may_throw = [&exceptions_map](const irep_idt &id) { - return !exceptions_map[id].empty(); - }; + function_may_throwt function_may_throw = + [&exceptions_map](const irep_idt &id) { // NOLINT(*) + return !exceptions_map[id].empty(); + }; remove_exceptionst remove_exceptions( symbol_table, function_may_throw, @@ -599,7 +599,8 @@ void remove_exceptions( symbol_table_baset &symbol_table, remove_exceptions_typest type) { - auto any_function_may_throw = [](const irep_idt &id) { return true; }; + function_may_throwt any_function_may_throw = + [](const irep_idt &id) { return true; }; remove_exceptionst remove_exceptions( symbol_table,