goto_checkt Member List

This is the complete list of members for goto_checkt, including all inherited members.

add_guarded_claim(const expr2tc &expr, const std::string &comment, const std::string &property, const locationt &location, const guard2tc &guard)	goto_checkt	protected
assertions	goto_checkt	protected
bounds_check(const expr2tc &expr, const guard2tc &guard, const locationt &loc)	goto_checkt	protected
build_python_is_none_check(const expr2tc &value_expr) const	goto_checkt	protected
build_python_isinstance_check(const expr2tc &value_expr, const typet &annotated_type) const	goto_checkt	protected
build_python_type_assertion(const expr2tc &value_expr, const symbolt &symbol) const	goto_checkt	protected
build_python_type_operand(const typet &type) const	goto_checkt	protected
cast_overflow_check(const expr2tc &expr, const guard2tc &guard, const locationt &loc)	goto_checkt	protected
check(const expr2tc &expr, const locationt &location)	goto_checkt	protected
check_rec(const expr2tc &expr, guard2tc &guard, const locationt &loc, bool address)	goto_checkt	protected
clz_zero_check(const expr2tc &code, const locationt &loc)	goto_checkt	protected
disable_bounds_check	goto_checkt	protected
disable_div_by_zero_check	goto_checkt	protected
disable_fp_conversion_check	goto_checkt	protected
disable_pointer_check	goto_checkt	protected
disable_pointer_relation_check	goto_checkt	protected
disable_unlimited_scanf_check	goto_checkt	protected
div_by_zero_check(const expr2tc &expr, const guard2tc &guard, const locationt &loc)	goto_checkt	protected
enable_clz_zero_check	goto_checkt	protected
enable_is_instance_check	goto_checkt	protected
enable_nan_check	goto_checkt	protected
enable_overflow_check	goto_checkt	protected
enable_ub_shift_check	goto_checkt	protected
enable_unsigned_overflow_check	goto_checkt	protected
float_overflow_check(const expr2tc &expr, const guard2tc &guard, const locationt &loc)	goto_checkt	protected
fp_to_int_range_check(const expr2tc &expr, const guard2tc &guard, const locationt &loc)	goto_checkt	protected
goto_check(goto_programt &goto_program)	goto_checkt
goto_checkt(const namespacet &_ns, optionst &_options)	goto_checkt	inline
input_overflow_check(const expr2tc &expr, const locationt &loc)	goto_checkt	protected
input_overflow_check_arr(const BigInt &width, const BigInt &limit, bool &buf_overflow)	goto_checkt	protected
input_overflow_check_int(const BigInt &width, const BigInt &limit, bool &buf_overflow)	goto_checkt	protected
is_instance_check(goto_programt::targett target, goto_programt &goto_program, const expr2tc &lhs, const expr2tc &rhs, const locationt &loc)	goto_checkt	protected
nan_check(const expr2tc &expr, const guard2tc &guard, const locationt &loc)	goto_checkt	protected
new_code	goto_checkt	protected
ns	goto_checkt	protected
options	goto_checkt	protected
overflow_check(const expr2tc &expr, const guard2tc &guard, const locationt &loc)	goto_checkt	protected
pointer_rel_check(const expr2tc &expr, const guard2tc &guard, const locationt &loc)	goto_checkt	protected
python_should_skip_type_assertion(const typet &annotated_type) const	goto_checkt	protected
resolve_python_effective_type(const typet &annotated_type) const	goto_checkt	protected
shift_check(const expr2tc &expr, const guard2tc &guard, const locationt &loc)	goto_checkt	protected