ClangFrontend.CLocationModule for function to retrieve the location (file, line, etc) of instructions
val should_translate_lib :
IBase.SourceFile.t ->
ATDGenerated.Clang_ast_t.source_range ->
CFrontend_config.decl_trans_context ->
translate_when_used:bool ->
boolval clang_to_sil_location :
IBase.SourceFile.t ->
ATDGenerated.Clang_ast_t.source_location ->
IBase.Location.tval location_of_source_range :
?pick_location:[ `Start | `End ] ->
IBase.SourceFile.t ->
ATDGenerated.Clang_ast_t.source_range ->
IBase.Location.tpicks the start of the source range by default
val location_of_stmt_info :
IBase.SourceFile.t ->
ATDGenerated.Clang_ast_t.stmt_info ->
IBase.Location.tval location_of_decl_info :
IBase.SourceFile.t ->
ATDGenerated.Clang_ast_t.decl_info ->
IBase.Location.t