JCHProcInfoclass pc_analysis_results_t : object ... endclass analysis_results_t : object ... endclass jproc_info_t : proc_name:CHLanguage.symbol_t -> proc:CHLanguage.procedure_int -> wto:
CHSCC.wto_t -> wto_infos:JCHLoopUtils.wto_info_t list -> loop_depth:
int -> pc_to_instr:(int ->
int) -> instr_to_pc:(int ->
int) -> object ... endval make_jproc_info :
chif:CHLanguage.system_int ->
proc_name:CHLanguage.symbol_t ->
proc:CHLanguage.procedure_int ->
wto:CHSCC.wto_t ->
wto_infos:JCHLoopUtils.wto_info_t list ->
loop_depth:int ->
dom_info:JCHDominance.dominance_info_t ->
aliases:JCHTransformUtils.alias_sets_t ->
rvar_to_pc_to_versions:
CHUtils.VariableCollections.set_t CHUtils.IntCollections.table_t
CHUtils.VariableCollections.table_t ->
orig_phi_to_vars:
CHUtils.VariableCollections.set_t CHUtils.VariableCollections.table_t ->
extra_assert_vars:
CHUtils.SymbolCollections.set_t CHUtils.VariableCollections.table_t ->
jproc_info_opt:jproc_info_t option ->
jproc_info_t