From f0cc98ebb5b134b7738f66b3e726bba217134dc1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 13 Jan 2016 17:28:13 -0800 Subject: [PATCH] chore(library/blast/recursor/recursor_action): disable spurious warning --- src/library/blast/recursor/recursor_action.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/library/blast/recursor/recursor_action.cpp b/src/library/blast/recursor/recursor_action.cpp index 8495fcf036..49e02f77ab 100644 --- a/src/library/blast/recursor/recursor_action.cpp +++ b/src/library/blast/recursor/recursor_action.cpp @@ -300,6 +300,9 @@ action_result recursor_action(hypothesis_idx hidx, name const & R) { return action_result::failed(); // ill-formed recursor save_state.commit(); +#if defined(__GNUC__) && !defined(__CLANG__) +#pragma GCC diagnostic ignored "-Wmaybe-uninitialized" +#endif optional split_idx; if (new_goals.size() > 1) { split_idx = mk_split_idx();