Module ClangFrontend.CFrontend_config

Module that contains constants and global state used in the frontend

type clang_lang =
  1. | C
  2. | CPP
  3. | ObjC
  4. | ObjCPP
val compare_clang_lang : clang_lang -> clang_lang -> int
val equal_clang_lang : clang_lang -> clang_lang -> bool
type translation_unit_context = {
  1. lang : clang_lang;
  2. source_file : IBase.SourceFile.t;
  3. integer_type_widths : IR.IntegerWidths.t;
  4. is_objc_arc_on : bool;
}
type decl_trans_context = [
  1. | `DeclTraversal
  2. | `Translation
  3. | `CppLambdaExprTranslation
]

Constants

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 clang_bin : string -> string

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

val class_method : string
val cxx_constructor : string
val fbAssertWithSignalAndLogFunctionHelper : string
val google_LogMessageFatal : string
val google_MakeCheckOpString : string
val handleFailureInFunction : string
val handleFailureInMethod : 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 nsstring_cl : string
val objc_class : string
val objc_object : string
val object_enumerator : string
val return_param : string
val self : string
val string_with_utf8_m : string
val this : string
val replace_with_deref_first_arg_attr : string
val modeled_function_attributes : string list

Global state

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

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 reset_global_state : unit -> unit