Here is a list of all functions with links to the files they belong to:

- p -

• pad() : padding.cpp
• pad_bit_field() : padding.cpp
• pad_ext_int_after() : padding.cpp
• pad_struct_operands() : irep2_utils.cpp, irep2_utils.h
• pad_to_width() : io.cpp
• padded_extent() : smt_solver.cpp
• param_is_list_like_in_body() : converter_funcdef.cpp
• param_is_mutated_in_body() : converter_funcdef.cpp
• param_under_address_of() : goto_sideeffects.cpp
• param_used_in_variable_index_subscript() : converter_funcdef.cpp
• parameter_defaults_to_any() : converter_funcdef.cpp
• parse() : toml.hpp
• parse_argsort_axis_keyword() : numpy_call_expr.cpp
• parse_cbmc_goto() : read_cbmc_goto_object.cpp, read_cbmc_goto_object.h
• parse_claim_location() : bmc.cpp
• parse_conversion_specifier() : format_strings.cpp
• parse_decl_at() : nested_func_transform.cpp
• parse_define_fun() : neurosym_conv.cpp
• parse_duration_ms() : plcopen_xml_parser.cpp
• parse_field_width() : format_strings.cpp, io.cpp
• parse_file() : toml.hpp
• parse_flags() : format_strings.cpp
• parse_float() : clang_c_convert_literals.cpp, parse_float.cpp, parse_float.h
• parse_format_padding() : string_handler.cpp
• parse_format_string() : format_strings.cpp, format_strings.h
• parse_graphical_ld() : plcopen_xml_parser.cpp
• parse_length_modifier() : format_strings.cpp
• parse_literal_signed_index() : numpy_call_expr.cpp
• parse_norm_order() : numpy_call_expr.cpp
• parse_numpy_literal_shape_arg() : numpy_call_expr.cpp
• parse_path() : toml.hpp
• parse_precision() : format_strings.cpp
• parse_reshape_dim() : numpy_call_expr.cpp
• parse_searchsorted_keywords() : numpy_call_expr.cpp
• parse_searchsorted_side_value() : numpy_call_expr.cpp
• parse_toml_file() : config_file.cpp, config_file.h
• parse_violated_property() : ld_verify.cpp
• passes_as() : converter_funcall.cpp
• peel_elided_copy() : clang_cpp_convert.cpp
• peel_initializer_wrapper() : clang_cpp_convert.cpp
• peel_pointer_offsets() : expr_simplifier.cpp
• percentile_of_numeric_elements() : numpy_call_expr.cpp
• perror() : stdio.h
• phase_left_properties_undecided() : bmc.cpp
• pick_default_solver() : solve.cpp
• pick_solver() : solve.cpp
• pin_array_literal() : goto_symex_state.cpp
• pin_chain_updates() : goto_symex_state.cpp
• pin_literal_elements() : goto_symex_state.cpp
• pin_phi_members() : goto_symex_state.cpp
• pin_refused_elements() : goto_symex_state.cpp
• pin_struct_literal() : goto_symex_state.cpp
• pipe() : io.c
• plain_pin() : plcopen_xml_parser.cpp
• plan_nested_call_rewrites() : nested_func_transform.cpp
• pointed_object() : interval_domain.cpp
• pointee_width() : goto_symex_state.cpp
• pointer_flattened_at() : smt_bitcast.cpp
• pointer_ref_kind() : migrate.cpp
• pointer_subtypes_compatible() : c_typecast.cpp
• pointer_type() : c_types.cpp, c_types.h
• pointer_type2() : c_types.cpp, c_types.h
• points_to_object() : python_builtins.cpp
• poll() : select.h, socket_lib.c
• pooled_kinds() : converter_funcdef.cpp
• populate_module() : module_manager.cpp
• pos() : literal.h
• posix_memalign() : stdlib.h, stdlib.c
• pow() : pow.c
• pow_bigint_non_negative() : numpy_call_expr.cpp
• pow_by_squaring() : pow.c
• pow_model() : solidity_convert_expr.cpp
• power() : arith_tools.cpp, arith_tools.h
• power_of_two() : python_math.cpp
• POWERPC() : config.cpp
• powf_gpu() : math_functions.h
• prepare_property_verdicts() : bmc.cpp
• prettify_solidity_expr() : bmc.cpp
• print_floating_point_to_stream() : toml.hpp
• print_integer_to_stream() : toml.hpp
• print_interval() : interval_domain.cpp
• print_nullptr_arg_types() : clang_cpp_convert.cpp
• print_partial_report_note() : bmc.cpp
• print_property_rows() : bmc.cpp
• print_property_summary() : bmc.cpp
• print_property_table() : bmc.cpp
• print_to_stream() : toml.hpp
• print_to_stream_bookended() : toml.hpp
• printf() : stdio.h
• printf_args_end() : io.cpp
• printf_int_type() : printf_formatter.cpp, printf_formatter.h
• printf_kind_from_name() : irep2_expr.cpp, irep2_expr.h
• prog_command() : bitwuzllob_conv.cpp, neurosym_conv.cpp
• program_references() : cprover_library.cpp
• project_index() : goto_symex_state.cpp
• project_member() : goto_symex_state.cpp
• promote_complex_operand() : migrate.cpp
• promote_numeric() : st_fb_translator.cpp
• promote_numpy_dtype() : numpy_call_expr.cpp
• promote_to_complex() : type_handler.h
• promote_to_ieee() : python_adjust.cpp
• proof_cache_build_identity() : proof_cache.cpp, proof_cache.h
• proof_cache_context() : proof_cache.cpp, proof_cache.h
• proof_cache_contradicted() : proof_cache.cpp, proof_cache.h
• proof_cache_flags_usable() : driver.cpp
• proof_cache_hit() : bmc.cpp
• proof_cache_identity() : bmc.cpp
• proof_cache_inactive_reason() : proof_cache.cpp, proof_cache.h
• proof_cache_store() : bmc.cpp
• propagation_passthrough() : goto_symex_state.cpp
• property_key() : property_verdict.cpp, property_verdict.h
• property_location() : property_verdict.cpp, property_verdict.h
• prune_unreferenced_library_functions() : cprover_library.cpp, cprover_library.h
• pthread_atfork() : pthread.h
• pthread_attr_destroy() : pthread.h
• pthread_attr_getdetachstate() : pthread.h
• pthread_attr_getguardsize() : pthread.h
• pthread_attr_getinheritsched() : pthread.h
• pthread_attr_getschedparam() : pthread.h
• pthread_attr_getschedpolicy() : pthread.h
• pthread_attr_getscope() : pthread.h
• pthread_attr_getstackaddr() : pthread.h
• pthread_attr_getstacksize() : pthread.h
• pthread_attr_init() : pthread.h
• pthread_attr_setdetachstate() : pthread.h
• pthread_attr_setguardsize() : pthread.h
• pthread_attr_setinheritsched() : pthread.h
• pthread_attr_setschedparam() : pthread.h
• pthread_attr_setschedpolicy() : pthread.h
• pthread_attr_setscope() : pthread.h
• pthread_attr_setstackaddr() : pthread.h
• pthread_attr_setstacksize() : pthread.h
• pthread_barrier_destroy() : pthread.h, pthread_lib.c
• pthread_barrier_init() : pthread.h, pthread_lib.c
• pthread_barrier_wait() : pthread.h, pthread_lib.c
• pthread_barrierattr_destroy() : pthread.h, pthread_lib.c
• pthread_barrierattr_getpshared() : pthread.h, pthread_lib.c
• pthread_barrierattr_init() : pthread.h, pthread_lib.c
• pthread_barrierattr_setpshared() : pthread.h, pthread_lib.c
• pthread_cancel() : pthread.h, pthread_lib.c
• pthread_cleanup_pop() : pthread.h, pthread_lib.c
• pthread_cleanup_push() : pthread.h, pthread_lib.c
• pthread_cond_broadcast() : pthread.h, pthread_lib.c
• pthread_cond_destroy() : pthread.h, pthread_lib.c
• pthread_cond_init() : pthread.h, pthread_lib.c
• pthread_cond_signal() : pthread.h, pthread_lib.c
• pthread_cond_timedwait() : pthread.h
• pthread_cond_wait() : pthread.h
• pthread_cond_wait_check() : pthread_lib.c
• pthread_cond_wait_nocheck() : pthread_lib.c
• pthread_condattr_destroy() : pthread.h
• pthread_condattr_getpshared() : pthread.h
• pthread_condattr_init() : pthread.h
• pthread_condattr_setpshared() : pthread.h
• pthread_create() : pthread.h, pthread_lib.c
• pthread_detach() : pthread.h, pthread_lib.c
• pthread_equal() : pthread.h, pthread_lib.c
• pthread_exec_key_destructors() : pthread_lib.c
• pthread_exit() : pthread.h, pthread_lib.c
• pthread_getschedparam() : pthread.h
• pthread_getspecific() : pthread.h, pthread_lib.c
• pthread_join() : pthread.h
• pthread_join_noswitch() : pthread_lib.c
• pthread_join_switch() : pthread_lib.c
• pthread_key_create() : pthread.h, pthread_lib.c
• pthread_key_delete() : pthread.h
• pthread_mutex_destroy() : pthread.h, pthread_lib.c
• pthread_mutex_destroy_check() : pthread_lib.c
• pthread_mutex_getprioceiling() : pthread.h
• pthread_mutex_init() : pthread.h, pthread_lib.c
• pthread_mutex_initializer() : pthread_lib.c
• pthread_mutex_lock() : pthread.h
• pthread_mutex_lock_check() : pthread_lib.c
• pthread_mutex_lock_noassert() : pthread_lib.c
• pthread_mutex_lock_nocheck() : pthread_lib.c
• pthread_mutex_setprioceiling() : pthread.h
• pthread_mutex_trylock() : pthread.h, pthread_lib.c
• pthread_mutex_unlock() : pthread.h
• pthread_mutex_unlock_check() : pthread_lib.c
• pthread_mutex_unlock_noassert() : pthread_lib.c
• pthread_mutex_unlock_nocheck() : pthread_lib.c
• pthread_mutexattr_destroy() : pthread.h, pthread_lib.c
• pthread_mutexattr_getprioceiling() : pthread.h
• pthread_mutexattr_getprotocol() : pthread.h
• pthread_mutexattr_getpshared() : pthread.h
• pthread_mutexattr_gettype() : pthread.h, pthread_lib.c
• pthread_mutexattr_init() : pthread.h, pthread_lib.c
• pthread_mutexattr_setprioceiling() : pthread.h
• pthread_mutexattr_setprotocol() : pthread.h
• pthread_mutexattr_setpshared() : pthread.h
• pthread_mutexattr_settype() : pthread.h, pthread_lib.c
• pthread_once() : pthread.h, pthread_lib.c
• pthread_rwlock_destroy() : pthread.h, pthread_lib.c
• pthread_rwlock_init() : pthread.h, pthread_lib.c
• pthread_rwlock_rdlock() : pthread.h, pthread_lib.c
• pthread_rwlock_rdlock_check() : pthread_lib.c
• pthread_rwlock_tryrdlock() : pthread.h, pthread_lib.c
• pthread_rwlock_trywrlock() : pthread.h, pthread_lib.c
• pthread_rwlock_unlock() : pthread.h, pthread_lib.c
• pthread_rwlock_wrlock() : pthread.h, pthread_lib.c
• pthread_rwlock_wrlock_check() : pthread_lib.c
• pthread_rwlockattr_destroy() : pthread.h
• pthread_rwlockattr_getkind_np() : pthread.h
• pthread_rwlockattr_getpshared() : pthread.h
• pthread_rwlockattr_init() : pthread.h
• pthread_rwlockattr_setkind_np() : pthread.h
• pthread_rwlockattr_setpshared() : pthread.h
• pthread_self() : pthread.h, pthread_lib.c
• pthread_setcancelstate() : pthread.h, pthread_lib.c
• pthread_setcanceltype() : pthread.h, pthread_lib.c
• pthread_setschedparam() : pthread.h
• pthread_setschedprio() : pthread.h
• pthread_setspecific() : pthread.h, pthread_lib.c
• pthread_spin_destroy() : pthread.h, pthread_lib.c
• pthread_spin_init() : pthread.h, pthread_lib.c
• pthread_spin_lock() : pthread.h, pthread_lib.c
• pthread_spin_trylock() : pthread.h, pthread_lib.c
• pthread_spin_unlock() : pthread.h, pthread_lib.c
• pthread_testcancel() : pthread.h, pthread_lib.c
• pthread_trampoline() : pthread_lib.c
• ptr_subtype_resolvable() : expr_simplifier.cpp
• ptraddr_type2() : c_types.cpp, c_types.h
• push_dict_values() : converter_funcall.cpp
• push_row_read() : smt_solver.cpp
• putc() : stdio.h
• putchar() : stdio.h, io.c
• puts() : stdio.h, io.c
• py_float_hex() : expr.cpp
• pyconst_equal() : python_consteval.cpp
• pytest_output_dir() : bmc.cpp
• python_aggregate_kind() : python_types.cpp, python_types.h
• python_checked_exceptions() : remove_exceptions.cpp, remove_exceptions.h
• python_operator_symbol() : converter_compare.cpp
• python_str_replace() : string_handler.cpp