Module ClangFrontend__CVar_decl
val sil_var_of_decl : ClangFrontend.CContext.t -> ATDGenerated.Clang_ast_t.decl -> IR.Procname.t -> IR.Pvar.t
val sil_var_of_decl_ref : ClangFrontend.CContext.t -> ATDGenerated.Clang_ast_t.source_range -> ATDGenerated.Clang_ast_t.decl_ref -> IR.Procname.t -> IR.Pvar.t
val add_var_to_locals : IR.Procdesc.t -> ATDGenerated.Clang_ast_t.decl -> IR.Typ.t -> IR.Pvar.t -> unit
val sil_var_of_captured_var : ClangFrontend.CContext.t -> ATDGenerated.Clang_ast_t.source_range -> IR.Procname.t -> ATDGenerated.Clang_ast_t.decl_ref -> (IR.Pvar.t * IR.Typ.t * bool) option
val captured_vars_from_block_info : ClangFrontend.CContext.t -> ATDGenerated.Clang_ast_t.source_range -> ATDGenerated.Clang_ast_t.block_captured_variable list -> (IR.Pvar.t * IR.Typ.t * bool) list
val mk_temp_sil_var : IR.Procdesc.t -> name:string -> IR.Pvar.t
val mk_temp_sil_var_for_expr : ClangFrontend.CContext.t -> name:string -> clang_pointer:int -> ATDGenerated.Clang_ast_t.expr_info -> IR.Pvar.t * IR.Typ.t
val materialize_cpp_temporary : ClangFrontend.CContext.t -> ATDGenerated.Clang_ast_t.stmt_info -> ATDGenerated.Clang_ast_t.expr_info -> IR.Pvar.t * IR.Typ.t