cprover
|
Go to the source code of this file.
Functions | |
irep_idt | byte_extract_id () |
irep_idt | byte_update_id () |
irep_idt byte_extract_id | ( | ) |
Definition at line 15 of file byte_operators.cpp.
References configt::ansi_c, config, configt::ansi_ct::endianness, configt::ansi_ct::IS_BIG_ENDIAN, and configt::ansi_ct::IS_LITTLE_ENDIAN.
Referenced by goto_symext::address_arithmetic(), value_set_dereferencet::build_reference_to(), boolbvt::convert_member(), value_set_dereferencet::memory_model_bytes(), goto_symext::parameter_assignments(), goto_symext::process_array_expr_rec(), dereferencet::read_object(), rewrite_union(), simplify_exprt::simplify_byte_extract(), simplify_exprt::simplify_byte_update(), and goto_symext::symex_other().
irep_idt byte_update_id | ( | ) |
Definition at line 30 of file byte_operators.cpp.
References configt::ansi_c, config, configt::ansi_ct::endianness, configt::ansi_ct::IS_BIG_ENDIAN, and configt::ansi_ct::IS_LITTLE_ENDIAN.
Referenced by path_symext::assign_rec(), and rewrite_union().