From ed831406b7c2d00dacb8526cd9ae963c06219e85 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Thu, 17 Oct 2019 11:18:47 -0400 Subject: [PATCH 1/2] Make virtual the destructor for symex_complexity_limit_exceeded_actiont. --- src/goto-symex/symex_complexity_limit_exceeded_action.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/goto-symex/symex_complexity_limit_exceeded_action.h b/src/goto-symex/symex_complexity_limit_exceeded_action.h index 3c1e66c8f78..d76edf6c07a 100644 --- a/src/goto-symex/symex_complexity_limit_exceeded_action.h +++ b/src/goto-symex/symex_complexity_limit_exceeded_action.h @@ -18,6 +18,7 @@ class symex_complexity_limit_exceeded_actiont { current_state.reachable = false; } + virtual ~symex_complexity_limit_exceeded_actiont() {} }; #endif // CPROVER_GOTO_SYMEX_SYMEX_COMPLEXITY_LIMIT_EXCEEDED_ACTION_H From 78a1bb0c5ef8776b1e843a4099e1fa268803a4a8 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Fri, 18 Oct 2019 12:48:16 -0400 Subject: [PATCH 2/2] Repair formatting for clang-format. --- src/goto-symex/symex_complexity_limit_exceeded_action.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/goto-symex/symex_complexity_limit_exceeded_action.h b/src/goto-symex/symex_complexity_limit_exceeded_action.h index d76edf6c07a..070d1c1c10d 100644 --- a/src/goto-symex/symex_complexity_limit_exceeded_action.h +++ b/src/goto-symex/symex_complexity_limit_exceeded_action.h @@ -18,7 +18,9 @@ class symex_complexity_limit_exceeded_actiont { current_state.reachable = false; } - virtual ~symex_complexity_limit_exceeded_actiont() {} + virtual ~symex_complexity_limit_exceeded_actiont() + { + } }; #endif // CPROVER_GOTO_SYMEX_SYMEX_COMPLEXITY_LIMIT_EXCEEDED_ACTION_H