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

- l -

• L_tmpnam : stdio.h
• 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
• LANGAPI_MODE_C : mode.h
• LANGAPI_MODE_CLANG_C : mode.h
• LANGAPI_MODE_CLANG_CPP : mode.h
• LANGAPI_MODE_CPP : mode.h
• LANGAPI_MODE_END : mode.h
• LANGAPI_MODE_JIMPLE : mode.h
• LANGAPI_MODE_LD : mode.h
• LANGAPI_MODE_PYTHON : mode.h
• LANGAPI_MODE_SOLAST : mode.h
• language_desc() : mode.cpp
• language_desc_C : mode.cpp
• language_desc_CPP : mode.cpp
• language_desc_Jimple : mode.cpp
• language_desc_ld : mode.cpp
• language_desc_python : mode.cpp
• language_desc_Solidity : 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_idt : mode.h
• language_name() : mode.cpp, mode.h
• languages_from_symbol_id() : language_util.cpp
• lapack_tolerance : numpy_call_expr.cpp
• lastError : cuda_error.h
• lbool : minisat_conv.h
• ld_name() : ld_converter.cpp, property_encoder.cpp
• LDBL_BITS : frexp.c
• LDBL_EXP_BITS : frexp.c
• LDBL_MANT_BITS : frexp.c
• LDEXP : frexp.c
• LdIRNodeKind : ld_ir.h
• ldiv() : stdlib.h
• ldv_malloc() : stdlib.c
• ldv_zalloc() : stdlib.c
• le16toh : cprover_libc_sources.cpp, endian.h
• le32toh : cprover_libc_sources.cpp, endian.h
• le64toh : cprover_libc_sources.cpp, endian.h
• leaf_type() : converter_binop.cpp
• Lg1 : log10.c, log1pf.c
• Lg2 : log10.c, log1pf.c
• Lg3 : log10.c, log1pf.c
• Lg4 : log10.c, log1pf.c
• Lg5 : log10.c
• Lg6 : log10.c
• Lg7 : log10.c
• 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_of_memberst : irep2.h
• list_param_class() : builder.cpp
• list_size() : builtin_functions.cpp
• listen() : socket.h, socket_lib.c
• Lit : minisat_conv.h
• 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
• LITTLE_ENDIAN : cprover_libc_sources.cpp, endian.h
• llabs() : stdlib.h
• llc_nondet_bytes() : solidity_builtins.c
• lldiv() : stdlib.h
• LLONG_MAX : limits.h
• LLONG_MIN : limits.h
• llong_t : bigint.cpp
• Ln2 : logf.c
• ln2_hi : expm1f.c, log1pf.c
• ln2_lo : expm1f.c, log1pf.c
• loc_from_node() : plcopen_xml_parser.cpp
• localtime() : time.h, time.c
• localtime_r() : time.h, time.c
• locate_esbmc() : ld_verify.cpp
• LOCATION : goto_program.h
• lock_tmp_path() : filesystem.cpp
• log() : exp.c
• log10() : log10.c
• log10_2hi : log10.c
• log10_2lo : log10.c
• log1p() : exp.c
• log1p_taylor() : exp.c
• log1pf() : log1pf.c
• log2() : exp.c
• log_debug : message.h
• log_error : message.h
• log_fail : message.h
• log_import_error() : build_ast.cpp
• log_progress : message.h
• log_proof_cache_summary() : bmc.cpp
• log_result : message.h
• log_status : message.h
• log_success : message.h
• log_warning : message.h
• LOGB : logb.c
• logf() : logf.c
• LOGF_POLY_ORDER : logf_data.h
• LOGF_TABLE_BITS : logf_data.h
• long1 : vector_types.h
• long2 : vector_types.h
• long3 : vector_types.h
• long4 : vector_types.h
• 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_MAX : limits.h
• LONG_MIN : limits.h
• long_uint_type() : c_types.cpp, c_types.h
• long_uint_type2() : c_types.cpp, c_types.h
• longjmp() : setjmp.c
• longlong1 : vector_types.h
• longlong2 : vector_types.h
• longlong3 : vector_types.h
• longlong4 : vector_types.h
• loop_body_begin() : goto_loop_invariant.cpp
• loop_entry_cond() : goto_loop_invariant.cpp
• LOOP_INVARIANT : goto_program.h
• 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