Here is a list of all file members with links to the files they belong to:
- d -
- daylight : time.h, time.c
- DBL_BITS : frexp.c
- DBL_EXP_BITS : frexp.c
- DBL_MANT_BITS : frexp.c
- DEAD : goto_program.h
- dead_code_cwe_rule() : cwe_mapping.cpp, cwe_mapping.h
- decay_array_operand() : migrate.cpp
- decide_on_expr_type() : migrate.cpp
- DECL : goto_program.h
- declare_argc_argv() : clang_c_adjust.h, clang_c_adjust_expr.cpp
- declare_empty_function() : read_bin_goto_object.cpp
- declared_global_or_nonlocal() : converter_funcdef.cpp
- declared_in() : contracts.cpp
- declares_body_return_type() : python_lambda.cpp
- declares_frame_condition() : contracts.cpp
- declares_global() : converter_symbols.cpp
- declines_alignment() : type_byte_size.cpp
- decToHexa() : solidity_string.c
- DEFAULT_CONFIG_PATH : cmdline.cpp
- default_formatter : toml.hpp
- DEFAULT_LIST_COMPARE_DEPTH : list_type_inference.cpp
- default_replace_dynamic_allocation() : dynamic_allocation.h
- default_stack_budget : stack_budget.h
- deferred_at() : converter_symbols.cpp
- defines_function() : expr.cpp
- defines_method() : builtins.cpp
- defining_decl() : clang_c_convert.cpp
- delete_key() : pthread_lib.c
- denotes_thrashable_subtype() : goto_convert_functions.cpp
- dereference() : goto_program_dereference.cpp, goto_program_dereference.h
- dereferences_symbol() : contracts.cpp
- describe_clause_node() : builder.cpp
- destroy_built_subobjects() : clang_cpp_convert.cpp
- destructor_binding() : clang_cpp_destructor_call.cpp, clang_cpp_destructor_call.h
- destructor_call() : clang_cpp_convert.cpp
- destructor_entry_symbol() : goto_convert.cpp
- det() : linalg.c
- det_radius() : numpy_call_expr.cpp
- determinant_2x2() : numpy_call_expr.cpp
- determinant_3x3() : numpy_call_expr.cpp
- dev_c3 : call_kernel.h
- dev_d1 : call_kernel.h
- dev_d2 : call_kernel.h
- dev_f5i2 : call_kernel.h
- dev_ffloat : call_kernel.h
- dev_fint : call_kernel.h
- dev_float : call_kernel.h
- dev_four_i_ui_ull_f : call_kernel.h
- dev_fuint : call_kernel.h
- dev_fuintint : call_kernel.h
- dev_fuintt : call_kernel.h
- dev_intt : call_kernel.h
- dev_no_params : call_kernel.h
- dev_one : call_kernel.h
- dev_one_u : call_kernel.h
- dev_three : call_kernel.h
- dev_three_iuull : call_kernel.h
- dev_three_u : call_kernel.h
- dev_two : call_kernel.h
- dev_two_i : call_kernel.h
- dev_two_u : call_kernel.h
- dev_ui : call_kernel.h
- dict_key_id() : python_dict_internal.h
- difftime() : time.h, time.c
- digit_add() : bigint.cpp
- digit_cmp() : bigint.cpp
- digit_div() : bigint.cpp
- digit_mul() : bigint.cpp
- digit_set() : bigint.cpp
- digit_sub() : bigint.cpp
- digits_length() : io.cpp
- dim3 : vector_types.h
- disjoint_assertion() : add_restrict_assertions.cpp
- disjunction() : irep2_utils.cpp, irep2_utils.h
- distinct_named_objects() : expr_simplifier.cpp
- distribute_steps_over_if() : dereference.cpp
- distribute_vector_operation() : irep2_utils.cpp, irep2_utils.h
- div() : stdlib.h
- DIV_DEF : stdlib.c
- divide() : umath.c
- divide_double() : umath.c
- dm : config.h
- do_bit_munge_operation() : expr_simplifier.cpp
- do_count_sub_exprs() : irep2_dispatch.h
- do_count_sub_exprs< const expr2tc >() : irep2_dispatch.h, irep2_utils.cpp
- do_count_sub_exprs< const std::vector< expr2tc > >() : irep2_dispatch.h, irep2_utils.cpp
- do_get_sub_expr() : irep2_dispatch.h
- do_get_sub_expr< expr2tc >() : irep2_dispatch.h, irep2_utils.cpp
- do_get_sub_expr< std::vector< expr2tc > >() : irep2_dispatch.h, irep2_utils.cpp
- do_is_subset() : interval_domain.cpp
- do_memcpy_expression() : memory_ops.cpp
- DO_PRAGMA : OM_compiler_defs.h, compiler_defs.h
- do_pthread_cond_wait() : pthread_lib.c
- do_type2string() : irep2_dispatch.h
- do_type_cmp() : irep2_dispatch.h
- do_type_lt() : irep2_dispatch.h, irep2_utils.cpp
- dot() : linalg.c
- dot_double() : linalg.c
- dot_product_value() : numpy_call_expr.cpp
- double1 : vector_types.h
- double2 : vector_types.h
- double2string() : smt_solver.cpp
- double3 : vector_types.h
- double4 : vector_types.h
- double_constant() : bounded_math.cpp
- double_shaped() : numpy_call_expr.cpp
- double_type() : c_types.cpp, c_types.h
- double_type2() : c_types.cpp, c_types.h
- dprintf() : stdio.h
- dReLUFunction() : cudnn.h
- drop_unit_axes() : numpy_call_expr.cpp
- dSigmoidFunction() : cudnn.h
- dst_flag_of() : dereference.cpp
- dump_claim_fingerprint() : bmc.cpp
- dump_intervals() : interval_analysis.cpp
- DUMP_METHOD : compiler_defs.h
- DUMP_OBJECT : json_utils.h
- dunder_other_arg() : converter_dunder.cpp
- dunder_ref_arg() : converter_dunder.cpp