Remove field that is assigned but never read

Author: romainbrenguier

src/goto-symex/goto_symex_state.h

@@ -375,7 +375,6 @@ class goto_symex_statet final
   /// \brief This state is saved, with the PC pointing to the next instruction
   /// of a GOTO
   bool has_saved_next_instruction;
-  bool saved_target_is_backwards;
 
 private:
   /// \brief Dangerous, do not use

src/goto-symex/symex_goto.cpp

@@ -184,15 +184,13 @@ void goto_symext::symex_goto(statet &state)
     path_storaget::patht next_instruction(target, state);
     next_instruction.state.saved_target = state_pc;
     next_instruction.state.has_saved_next_instruction = true;
-    next_instruction.state.saved_target_is_backwards = backward;
 
     path_storaget::patht jump_target(target, state);
     jump_target.state.saved_target = new_state_pc;
     jump_target.state.has_saved_jump_target = true;
     // `forward` tells us where the branch we're _currently_ executing is
     // pointing to; this needs to be inverted for the branch that we're saving,
     // so let its truth value for `backwards` be the same as ours for `forward`.
-    jump_target.state.saved_target_is_backwards = !backward;
 
     log.debug() << "Saving next instruction '"
                 << next_instruction.state.saved_target->source_location << "'"