Module ClangFrontend.CFrontend_config

type clang_lang =
| C
| CPP
| ObjC
| ObjCPP
val compare_clang_lang : clang_lang -> clang_lang -> int
val equal_clang_lang : clang_lang -> clang_lang -> bool
type translation_unit_context = {
lang : clang_lang;
source_file : IBase.SourceFile.t;
integer_type_widths : IR.Typ.IntegerWidths.t;
is_objc_arc_on : bool;
}
type decl_trans_context = [
| `DeclTraversal
| `Translation
| `CppLambdaExprTranslation
]
type instr_type =
| ClangStmt of IR.Procdesc.Node.stmt_nodekind * ATDGenerated.Clang_ast_t.stmt
| CXXConstructorInit of ATDGenerated.Clang_ast_t.cxx_ctor_initializer
val alloc : string
val allocWithZone : string
val arrayWithObjects_count : string
val dictionaryWithObjects_forKeys_count : string
val dealloc : string
val assert_fail : string
val assert_rtn : string
val biniou_buffer_size : int
val builtin_expect : string
val builtin_memset_chk : string
val builtin_object_size : string
val ckcomponent_cl : string
val ckcomponentcontroller_cl : string
val clang_bin : string -> string

Script to run our own clang. The argument is expected to be either "" or "++".

val class_method : string
val fbAssertWithSignalAndLogFunctionHelper : string
val google_LogMessageFatal : string
val google_MakeCheckOpString : string
val handleFailureInFunction : string
val handleFailureInMethod : string
val id_cl : string
val infer : string
val init : string
val is_kind_of_class : string
val malloc : string
val new_str : string
val next_object : string
val nsenumerator_cl : string
val nsproxy_cl : string
val nsobject_cl : string
val nsstring_cl : string
val objc_class : string
val objc_object : string
val object_enumerator : string
val return_param : string
val self : string
val std_addressof : IR.QualifiedCppName.Match.quals_matcher
val string_with_utf8_m : string
val this : string
val replace_with_deref_first_arg_attr : string
val modeled_function_attributes : string list
val enum_map : (ATDGenerated.Clang_ast_t.pointer option * IR.Exp.t option) ClangPointers.Map.t IStdlib.IStd.ref

Map from enum constants pointers to their predecesor and their sil value

val global_translation_unit_decls : ATDGenerated.Clang_ast_t.decl list IStdlib.IStd.ref
val sil_types_map : IR.Typ.desc Clang_ast_extend.TypePointerMap.t IStdlib.IStd.ref

Map from type pointers (clang pointers and types created later by frontend) to sil types Populated during frontend execution when new type is found

val procedures_attempted : int IStdlib.IStd.ref
val procedures_failed : int IStdlib.IStd.ref
val get_fresh_block_index : unit -> int
val reset_block_counter : unit -> unit
val reset_global_state : unit -> unit