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

- f -

• fabs() : fabs.c
• fallible_calls() : fallible_calls.cpp, fallible_calls.h
• fb_kind_of() : plcopen_xml_parser.cpp
• fb_kind_of_std() : plcopen_xml_parser.cpp
• fb_output_source() : plcopen_xml_parser.cpp
• fclose() : stdio.h, io.c
• fdim_def() : fdim.c
• fdopen() : stdio.h, io.c
• fegetround() : fenv.c
• feof() : stdio.h, io.c
• ferror() : stdio.h, io.c
• ferror_unlocked() : io.c
• fesetround() : fenv.c
• fetch_broadcast_leaf() : numpy_call_expr.cpp
• fetch_op_expr() : clang_c_adjust_polymorphic_functions.cpp
• fflush() : stdio.h, io.c
• ffs() : strings.c
• ffsl() : strings.c
• ffsll() : strings.c
• fgetc() : stdio.h, io.c
• fgetpos() : stdio.h
• fgets() : stdio.h, io.c
• fileno() : stdio.h, io.c
• filled_array() : numpy_call_expr.cpp
• filled_array_dtype() : converter_funcdef.cpp
• filled_layout() : converter_funcdef.cpp
• finalize_exception_specification() : clang_cpp_exception_id.cpp, clang_cpp_exception_id.h
• find() : toml.hpp
• find_all_assignments() : contracts.cpp
• find_any_all_axis_keyword() : expr.cpp
• find_callee_def() : converter_funcdef.cpp
• find_captures() : nested_func_transform.cpp
• find_constructor_call() : clang_cpp_adjust_code.cpp, clang_cpp_main.cpp, goto_convert.cpp
• find_control_stmt_end() : nested_func_transform.cpp
• find_cpp_new_constructor() : builtin_functions.cpp
• find_fallible() : fallible_calls.cpp, fallible_calls.h
• find_first_append_arg() : annotation_conversion.inl
• find_function_def() : converter_funcdef.cpp
• find_function_recursive() : python_annotation.h
• find_iec_operator() : property_encoder.cpp
• find_lambda_in_body() : python_annotation.h
• find_method_def() : converter_funcdef.cpp
• find_module_binding() : converter_expr.cpp
• find_nested_functions() : nested_func_transform.cpp
• find_nondet_in_expr() : witnesses.cpp, witnesses.h
• find_normalised_subexpr() : converter_binop.cpp
• find_outermost_op() : property_encoder.cpp
• find_ptr_region_use() : contracts.cpp
• find_python_executable() : python_language.cpp
• find_sibling_callees() : nested_func_transform.cpp
• find_stack_used_symbol() : contracts.cpp
• find_subexpr() : converter_binop.cpp
• find_user_class() : builtins.cpp
• fingerprint_hash() : fingerprint.cpp, fingerprint.h
• first_assign_target() : converter_stmt.cpp
• first_object_address() : c_types.cpp, c_types.h
• first_written_argument() : interval_domain.cpp
• fit_numpy_string_store() : converter_stmt.cpp
• fits_bytes() : memory_ops.cpp
• fits_in_width() : expr_simplifier.cpp
• fixed_array_depth() : converter_stmt.cpp
• fixed_point() : smt_solver.cpp
• fixed_point_precision() : string_handler.cpp
• fixup_containerof_in_sizeof() : migrate.cpp
• flat_elements() : converter_binop.cpp
• flatten_addressof_under_add() : expr_simplifier.cpp
• flatten_body_statements() : goto_sideeffects.cpp
• flatten_json_list() : numpy_call_expr.cpp
• flatten_nested_index_address() : expr_simplifier.cpp
• flatten_subscript_chain() : list_access.cpp
• flatten_to_bitvector() : smt_bitcast.cpp
• flattened_base_offset() : clang_c_base_layout.cpp
• flattened_in_struct() : smt_bitcast.cpp
• flattened_index() : smt_bitcast.cpp
• flattened_past_byte_update() : smt_bitcast.cpp
• flattened_position() : smt_bitcast.cpp, smt_solver.h
• float_fraction_bits() : c_types.cpp
• float_lowering_id() : clang_c_adjust_expr.cpp
• float_signs_agree() : expr_simplifier.cpp
• float_type() : c_types.cpp, c_types.h
• float_type2() : c_types.cpp, c_types.h
• float_type_id_arg() : dict_access.cpp
• floor_def() : floor.c
• fmax_def() : fmax.c
• fmemopen() : stdio.h, io.c
• fmin_def() : fmin.c
• fmod_def() : fmod.c
• fold_address_difference() : expr_simplifier.cpp
• fold_assert_branches() : goto_convert_functions.cpp
• fold_bitnot_plus_const() : expr_simplifier.cpp
• fold_common_addend() : expr_simplifier.cpp
• fold_comparison_builtin() : clang_c_adjust_irep2.cpp
• fold_const_across_addsub() : expr_simplifier.cpp
• fold_constant_bool_source() : expr_simplifier.cpp
• fold_constant_bv_source() : expr_simplifier.cpp
• fold_constant_fixedbv_source() : expr_simplifier.cpp
• fold_constant_floatbv_source() : expr_simplifier.cpp
• fold_constant_string() : string_handler.cpp
• fold_constant_typecast() : expr_simplifier.cpp
• fold_distinct_objects_cmp() : expr_simplifier.cpp
• fold_double() : numpy_call_expr.cpp
• fold_float_constant() : clang_c_adjust_irep2.cpp
• fold_integer() : numpy_call_expr.cpp
• fold_literal_dot() : numpy_call_expr.cpp
• fold_numpy_unary_constant_list() : numpy_call_expr.cpp
• fold_odd_multiple_of_zero() : expr_simplifier.cpp
• fold_pointer_intrinsic() : clang_c_adjust_irep2.cpp
• fold_pointer_minus_const() : expr_simplifier.cpp
• fold_pointer_sub() : expr_simplifier.cpp
• fold_string_method_call() : string_handler.cpp
• fold_struct_member_read() : expr_simplifier.cpp
• fold_unary_builtin() : clang_c_adjust_irep2.cpp
• fold_union_member_read() : expr_simplifier.cpp
• folded_list_element() : converter_compare.cpp
• follows_ext_int_padding() : padding.cpp
• fopen() : stdio.h, io.c
• fopen_exclusive() : filesystem.cpp
• forget_stale_symbols() : gcse.cpp
• formal_var() : plcopen_xml_parser.cpp
• format_complex_string() : expr.cpp
• format_cwe_list() : cwe_mapping.cpp, cwe_mapping.h
• format_double_for_complex() : expr.cpp
• format_nondet_reads() : goto_trace.cpp
• format_shape() : numpy_call_expr.cpp
• format_target() : command_line_options.cpp
• forward_function_node() : expr.cpp
• forwarded_param_index() : converter_funcdef.cpp
• forwards_param_being_inferred() : converter_funcdef.cpp
• fp_barrier() : libm.h
• fp_barrierf() : libm.h
• fp_barrierl() : libm.h
• fp_force_eval() : libm.h
• fp_force_evalf() : libm.h
• fp_force_evall() : libm.h
• fpclassify() : toml.hpp
• fprintf() : stdio.h
• fpurge() : stdio.h, io.c
• fputc() : stdio.h, io.c
• fputs() : stdio.h, io.c
• fputs_unlocked() : io.c
• frame_function_name() : goto_trace.cpp
• fread() : stdio.h, io.c
• free() : stdlib.h
• FREEBSD() : config.cpp
• freopen() : stdio.h
• fresh_param_index() : contracts.cpp
• frobenius_norm() : numpy_call_expr.cpp
• from_double() : arith_tools.cpp, arith_tools.h
• from_expr() : language_util.cpp, language_util.h
• from_import_binding() : converter_symbols.cpp
• from_integer() : arith_tools.cpp, arith_tools.h
• from_json() : jimple_ast.h, jimple_file.cpp
• from_memory_order() : smt_bitcast.cpp
• from_object_bits() : smt_bitcast.cpp
• from_type() : language_util.cpp, language_util.h
• fscanf() : stdio.h
• fseek() : stdio.h, io.c
• fseeko() : io.c
• fsetpos() : stdio.h
• ftell() : stdio.h, io.c
• full_eq() : irep.cpp
• function_binding_is_import() : converter_symbols.cpp
• function_element_type() : list_type_inference.cpp
• function_identity() : converter_compare.cpp
• function_is_type_compatible() : symex_function.cpp
• fwrite() : stdio.h, io.c