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

- l -

• label() : plcopen_xml_parser.cpp
• label_address() : clang_c_convert.cpp
• label_by_condition() : property_report.cpp
• labs() : stdlib.h
• lacks_byte_model() : memory_ops.cpp
• lambda_bound_to() : converter_funcall.cpp
• lambda_parameter_type() : python_lambda.cpp
• lanewise_bitcast() : smt_bitcast.cpp
• language_desc() : mode.cpp
• language_from_symbol() : language_util.cpp, language_util.h
• language_id_by_name() : mode.cpp, mode.h
• language_id_by_path() : mode.cpp, mode.h
• language_id_from_mode() : language_util.cpp
• language_name() : mode.cpp, mode.h
• languages_from_symbol_id() : language_util.cpp
• ld_name() : ld_converter.cpp, property_encoder.cpp
• ldiv() : stdlib.h
• ldv_malloc() : stdlib.c
• ldv_zalloc() : stdlib.c
• leaf_type() : converter_binop.cpp
• lift_call_expressions() : lift_call_expressions.cpp, lift_call_expressions.h
• lift_old_over_bound_index() : goto_sideeffects.cpp
• lifted_name() : nested_func_transform.cpp
• linearise_enclosing_indices() : expr_simplifier.cpp
• link_cbmc_libc_bodies() : goto_program.cpp
• link_cpython_library_bodies() : python_library.cpp, python_library.h
• linspace_endpoint() : numpy_call_expr.cpp
• linspace_num() : numpy_call_expr.cpp
• linspace_points() : numpy_call_expr.cpp
• list_element() : builtin_functions.cpp
• list_item_of_scalar_read() : builtins.cpp
• list_length() : builder.cpp
• list_literal_for_call_arg() : converter_funcdef.cpp
• list_model_function() : list_mutation.cpp
• list_param_class() : builder.cpp
• list_size() : builtin_functions.cpp
• listen() : socket.h, socket_lib.c
• literal_axis() : numpy_call_expr.cpp
• literal_broadcast_shape() : numpy_call_expr.cpp
• literal_constructor_layout() : converter_funcdef.cpp
• literal_element_type() : list_type_inference.cpp
• literal_int() : numpy_call_expr.cpp
• literal_kind() : converter_funcdef.cpp
• literal_list_contains_bool() : numpy_call_expr.cpp
• literal_number() : converter_funcdef.cpp
• literal_shape() : converter_funcdef.cpp
• literal_shape_dims() : numpy_call_expr.cpp
• literal_to_ticks() : plcopen_xml_parser.cpp
• llabs() : stdlib.h
• llc_nondet_bytes() : solidity_builtins.c
• lldiv() : stdlib.h
• loc_from_node() : plcopen_xml_parser.cpp
• localtime() : time.h, time.c
• localtime_r() : time.h, time.c
• locate_esbmc() : ld_verify.cpp
• lock_tmp_path() : filesystem.cpp
• log() : exp.c
• log10() : log10.c
• log1p() : exp.c
• log1p_taylor() : exp.c
• log1pf() : log1pf.c
• log2() : exp.c
• log_import_error() : build_ast.cpp
• log_proof_cache_summary() : bmc.cpp
• logf() : logf.c
• long_double_type() : c_types.cpp, c_types.h
• long_double_type2() : c_types.cpp, c_types.h
• long_int_type() : c_types.cpp, c_types.h
• long_int_type2() : c_types.cpp, c_types.h
• long_long_int_type() : c_types.cpp, c_types.h
• long_long_int_type2() : c_types.cpp, c_types.h
• long_long_uint_type() : c_types.cpp, c_types.h
• long_long_uint_type2() : c_types.cpp, c_types.h
• long_uint_type() : c_types.cpp, c_types.h
• long_uint_type2() : c_types.cpp, c_types.h
• longjmp() : setjmp.c
• loop_body_begin() : goto_loop_invariant.cpp
• loop_entry_cond() : goto_loop_invariant.cpp
• lower() : st_fb_translator.cpp
• lower_flattened_row_select() : smt_solver.cpp
• lower_float_library_call() : clang_c_adjust_irep2.cpp
• lower_interval() : interval_template.h
• lower_longjmp() : lower_longjmp.cpp, lower_longjmp.h
• lowest_address_high() : smt_bitcast.cpp, smt_solver.h
• lseek() : io.c
• lvalue_root() : add_race_assertions.cpp