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

- l -

• L0 : renamed.h
• L1 : renamed.h
• L1_WITH_CONSTANT_PROPAGATION : renamed.h
• L2 : renamed.h
• l_False : satcheck_minisat2.cpp
• L_M_ARG : race_check.cpp
• L_M_LAST_ARG : race_check.cpp
• l_True : satcheck_minisat2.cpp
• label_function_pointer_call_sites() : label_function_pointer_call_sites.cpp, label_function_pointer_call_sites.h
• label_properties() : set_properties.h, set_properties.cpp
• labs() : stdlib.c
• lambda_method_handle() : lambda_synthesis.cpp
• lambda_synthetic_class_name() : lambda_synthesis.cpp, lambda_synthesis.h
• lambda_type() : mathematical_expr.cpp
• language_factoryt : mode.h
• languages : mode.cpp
• languagest : mode.cpp
• lazy() : lazy.h
• LAZY_METHODS_MODE_CONTEXT_INSENSITIVE : java_bytecode_language.h
• LAZY_METHODS_MODE_EAGER : java_bytecode_language.h
• LAZY_METHODS_MODE_EXTERNAL_DRIVER : java_bytecode_language.h
• lazy_methods_modet : java_bytecode_language.h
• ld_options_with_argument : ld_cmdline.cpp
• ld_options_without_argument : ld_cmdline.cpp
• length_constraint_for_concat() : string_concatenation_builtin_function.cpp, string_constraint_generator.h
• length_constraint_for_concat_char() : string_concatenation_builtin_function.cpp, string_constraint_generator.h
• length_constraint_for_concat_substr() : string_concatenation_builtin_function.cpp, string_constraint_generator.h
• length_for_format_specifier() : string_format_builtin_function.cpp, string_format_builtin_function.h
• length_of_decimal_int() : string_format_builtin_function.cpp, string_format_builtin_function.h
• length_of_positive_decimal_int() : string_format_builtin_function.cpp
• less_than() : string_expr.h
• less_than_or_equal_to() : string_expr.h
• levelt : renamed.h
• lexical_loopst : lexical_loops.h
• lifetimet : allocate_objects.h
• lift_clinit_calls() : lift_clinit_calls.cpp, lift_clinit_calls.h
• lift_if() : expr_util.cpp, expr_util.h
• LINE_SEPARATOR : expr2statement_list.cpp
• line_string_opt() : unreachable_instructions.cpp
• linest : count_eloc.cpp
• link_functions() : link_goto_model.cpp
• link_goto_model() : link_goto_model.cpp, link_goto_model.h
• link_to_library() : link_to_library.cpp, link_to_library.h
• linker_name() : gcc_mode.cpp, ld_mode.cpp
• linking() : linking.cpp, linking.h
• lisp2irep() : lispirep.cpp, lispirep.h
• list_calls_and_arguments() : call_sequences.cpp, call_sequences.h
• list_eloc() : count_eloc.cpp, count_eloc.h
• list_functions() : unreachable_instructions.cpp
• list_undefined_functions() : undefined_functions.cpp, undefined_functions.h
• llabs() : stdlib.c
• llong_t : mp_arith.cpp
• llrint() : math.c
• llrintf() : math.c
• llrintl() : math.c
• llround() : math.c
• llroundf() : math.c
• llroundl() : math.c
• load_extra_methodst : ci_lazy_methods.h
• load_goto_model_from_java_class() : load_java_class.h, load_java_class.cpp
• load_java_class() : load_java_class.cpp, load_java_class.h, load_java_class.cpp, load_java_class.h
• load_java_class_lazy() : load_java_class.cpp, load_java_class.h
• loc_sett : fatal_assertions.cpp
• local_variable_table_with_holest : java_local_variable_table.cpp
• local_variable_with_holest : java_local_variable_table.cpp
• localeconv() : locale.c
• localtime() : time.c
• localtime_r() : time.c
• LOCATION : goto_program.h
• location_number_less_than() : ensure_one_backedge_per_target.cpp
• LOG : remove_const_function_pointers.cpp
• log() : math.c
• log10() : math.c
• log10f() : math.c
• log10l() : math.c
• log2() : math.c
• log2f() : math.c
• log2l() : math.c
• log_are_types_incompatible() : shadow_memory_util.cpp
• LOG_HEADER : instrument_spec_assigns.cpp
• log_shadow_memory_incompatible_types() : shadow_memory_util.cpp
• log_shadow_memory_message() : shadow_memory_util.cpp
• log_try_shadow_address() : shadow_memory_util.cpp
• log_value_set_contains_only_null() : shadow_memory_util.cpp
• log_value_set_match() : shadow_memory_util.cpp
• logf() : math.c
• LOGIC_ID : smt_logics.cpp, smt_logics.h, smt_to_smt2_string.cpp
• logic_left_shift() : mp_arith.cpp, mp_arith.h
• logic_right_shift() : mp_arith.h, mp_arith.cpp
• logic_sequence_initializers : statement_list_typecheck.cpp
• logic_sequence_terminators : statement_list_typecheck.cpp
• logl() : math.c
• long_double_type() : c_types.cpp, c_types.h
• longjmp() : setjmp.c
• lookup_decision_procedure_result() : smt2_incremental_decision_procedure.cpp
• loop_idst : skip_loops.cpp
• loop_mapt : skip_loops.cpp
• loop_strategyt : wmm.h
• loopt : loop_utils.h
• lower_address_of_array_index() : convert_expr_to_smt.cpp, convert_expr_to_smt.h
• lower_byte_extract() : byte_operators.h, lower_byte_operators.cpp
• lower_byte_extract_array_vector() : lower_byte_operators.cpp
• lower_byte_extract_complex() : lower_byte_operators.cpp
• lower_byte_operators() : byte_operators.h, lower_byte_operators.cpp
• lower_byte_update() : lower_byte_operators.cpp, byte_operators.h, lower_byte_operators.cpp
• lower_byte_update_array_vector() : lower_byte_operators.cpp
• lower_byte_update_array_vector_non_const() : lower_byte_operators.cpp
• lower_byte_update_array_vector_unbounded() : lower_byte_operators.cpp
• lower_byte_update_byte_array_vector() : lower_byte_operators.cpp
• lower_byte_update_byte_array_vector_non_const() : lower_byte_operators.cpp
• lower_byte_update_single_element() : lower_byte_operators.cpp
• lower_byte_update_struct() : lower_byte_operators.cpp
• lower_byte_update_union() : lower_byte_operators.cpp
• lower_case_string_expression() : simplify_expr.cpp
• lower_enum() : enum_encoding.h, enum_encoding.cpp
• lower_interval() : interval_template.h
• lower_rw_ok_pointer_in_range() : smt2_incremental_decision_procedure.cpp
• lower_zero_extend() : smt2_incremental_decision_procedure.cpp
• lrint() : math.c
• lrintf() : math.c
• lrintl() : math.c
• lround() : math.c
• lroundf() : math.c
• lroundl() : math.c
• lt_index() : java_local_variable_table.cpp
• lt_startpc() : java_local_variable_table.cpp