- w -

• w_buff0 : shared_bufferst::varst
• w_buff0_used : shared_bufferst::varst
• w_buff1 : shared_bufferst::varst
• w_buff1_used : shared_bufferst::varst
• w_entries : rw_set_baset
• w_guards : w_guardst
• w_index_symbol : concurrency_instrumentationt::shared_vart
• w_range_set : rw_range_sett
• warning_is_fatal : compilet
• warnings : c_typecastt
• warnings_are_errors : cl_message_handlert , gcc_message_handlert
• watermark : __CPROVER_contracts_obj_set_t
• wchar_t_count : cpp_convert_typet
• wchar_t_is_unsigned : configt::ansi_ct
• wchar_t_width : configt::ansi_ct
• when : nfat< T >::transitiont
• where : taint_parse_treet::rulet
• widened_lower_bound : widened_ranget
• widened_upper_bound : widened_ranget
• widowed : __CPROVER_pipet
• width : boolbv_widtht::membert , bv_spect , fixedbv_spect , format_specifiert
• word : help_formattert::statet
• work : inductiveness_resultt
• working_directory : compilet
• worklist : single_path_symex_only_checkert
• wrapped : inlining_decoratort
• wrapped_symbol : dfcc_wrapper_programt
• wrapper_sl : dfcc_wrapper_programt
• wrapper_symbol : dfcc_wrapper_programt
• WRfence : abstract_eventt
• write_counter : instrumentert::cfg_visitort
• write_set_checks : dfcc_wrapper_programt
• write_set_var : dfcc_loop_infot
• writeable_object_exprs : axiomst
• writes : partial_order_concurrencyt::a_rect
• writes_per_variable : event_grapht::graph_explorert
• writes_replaced : mm_iot
• written_in_atomic_section : goto_symex_statet
• written_macros : compilet
• wrote_object : compilet
• ws_counter : instrumentert::cfg_visitort
• WWcumul : abstract_eventt
• WWfence : abstract_eventt