|
Function Name  |
Hit count  |
| _Z13grok_contractP9tree_nodeS0_S0_7cp_exprm |
856 |
| _Z14emit_assertionP9tree_node |
151 |
| _Z15remap_contractsP9tree_nodeS0_S0_b |
161 |
| _Z17add_contract_rolePKc17contract_semanticS1_S1_b |
261 |
| _Z17contract_active_pP9tree_node |
2210 |
| _Z17get_contract_rolePKc |
815 |
| _Z18map_contract_levelPKc |
232 |
| _Z19duplicate_contractsP9tree_nodeS0_ |
17583742 |
| _Z19invalidate_contractP9tree_node |
23 |
| _Z20build_contract_checkP9tree_node |
759 |
| _Z20splice_out_contractsP9tree_node |
0 |
| _Z20update_late_contractP9tree_nodeS0_S0_ |
227 |
| _Z21contract_any_active_pP9tree_node |
45272 |
| _Z21map_contract_semanticPKc |
200 |
| _Z22inherit_base_contractsP9tree_nodeS0_ |
12 |
| _Z22rebuild_postconditionsP9tree_node |
8868661 |
| _Z22set_contract_functionsP9tree_nodeS0_S0_ |
320270 |
| _Z22validate_contract_roleP13contract_role |
28 |
| _Z23contract_any_deferred_pP9tree_node |
20 |
| _Z23cp_contract_assertion_pPK9tree_node |
399579599 |
| _Z24copy_contract_attributesP9tree_nodeS0_ |
8868187 |
| _Z24cxx_contract_attribute_pPK9tree_node |
549523040 |
| _Z24lookup_concrete_semanticPKc |
78 |
| _Z24match_deferred_contractsP9tree_node |
163 |
| _Z24start_function_contractsP9tree_node |
139343339 |
| _Z25finish_contract_attributeP9tree_nodeS0_ |
853 |
| _Z25finish_contract_condition7cp_expr |
889 |
| _Z25finish_function_contractsP9tree_node |
139343303 |
| _Z25get_precondition_functionP9tree_node |
14947990 |
| _Z25match_contract_conditionsmP9tree_nodemS0_25contract_matching_context |
88 |
| _Z25set_precondition_functionP9tree_nodeS0_ |
357 |
| _Z26check_postcondition_resultP9tree_nodeS0_m |
92 |
| _Z26get_postcondition_functionP9tree_node |
14946588 |
| _Z26handle_OPT_fcontract_role_PKc |
25 |
| _Z26remove_contract_attributesP9tree_node |
5074653 |
| _Z26set_postcondition_functionP9tree_nodeS0_ |
80 |
| _Z27make_postcondition_variable7cp_expr |
71 |
| _Z27make_postcondition_variable7cp_exprP9tree_node |
75 |
| _Z27maybe_update_postconditionsP9tree_node |
784075 |
| _Z27setup_default_contract_roleb |
118 |
| _Z28defer_guarded_contract_matchP9tree_nodeS0_S0_ |
24 |
| _Z29diagnose_misapplied_contractsP9tree_node |
917838215 |
| _Z30all_attributes_are_contracts_pP9tree_node |
29 |
| _Z30handle_OPT_fcontract_semantic_PKc |
3 |
| _Z30maybe_apply_function_contractsP9tree_node |
426 |
| _Z33handle_OPT_fcontract_build_level_PKc |
4 |
| _Z37handle_OPT_fcontract_assumption_mode_PKc |
0 |
| _Z39handle_OPT_fcontract_continuation_mode_PKc |
57 |
| _ZL11retain_declP9tree_nodeP14copy_body_data |
1 |
| _ZL12copy_fn_declP9tree_node |
416 |
| _ZL13build_comment7cp_expr |
832 |
| _ZL14build_arg_listP9tree_node |
416 |
| _ZL14remap_contractP9tree_nodeS0_S0_b |
758 |
| _ZL15role_name_equalP13contract_rolePKc |
0 |
| _ZL15role_name_equalPKcS0_ |
1065 |
| _ZL16contract_valid_pP9tree_node |
224 |
| _ZL16remap_dummy_thisP9tree_nodePS0_ |
0 |
| _ZL18emit_contract_attrP9tree_node |
233 |
| _ZL18emit_preconditionsP9tree_node |
0 |
| _ZL18get_concrete_checkv |
0 |
| _ZL18handle_contracts_pP9tree_node |
278687068 |
| _ZL18remap_dummy_this_1PP9tree_nodePiPv |
2545 |
| _ZL19apply_preconditionsP9tree_node |
381 |
| _ZL19emit_postconditionsP9tree_node |
0 |
| _ZL19outline_contracts_pP9tree_node |
1707 |
| _ZL20apply_postconditionsP9tree_node |
107 |
| _ZL22get_contract_role_nameP9tree_node |
699 |
| _ZL23contract_config_to_modeP9tree_node |
847 |
| _ZL23emit_contract_statementP9tree_node |
756 |
| _ZL23find_first_non_contractP9tree_node |
0 |
| _ZL23get_contract_level_nameP9tree_node |
699 |
| _ZL24build_contract_violationP9tree_node21contract_continuation |
699 |
| _ZL24emit_contract_conditionsP9tree_node9tree_code |
72 |
| _ZL24has_active_preconditionsP9tree_node |
0 |
| _ZL25add_pre_condition_fn_callP9tree_node |
342 |
| _ZL25compute_concrete_semanticP9tree_node |
847 |
| _ZL25has_active_postconditionsP9tree_node |
0 |
| _ZL25remap_and_emit_conditionsP9tree_nodeS0_9tree_code |
406 |
| _ZL26add_post_condition_fn_callP9tree_node |
74 |
| _ZL26contract_attribute_valid_pP9tree_node |
224 |
| _ZL27build_contract_handler_callP9tree_node21contract_continuation |
699 |
| _ZL27build_precondition_functionP9tree_node |
375 |
| _ZL27get_concrete_axiom_semanticv |
0 |
| _ZL28build_postcondition_functionP9tree_node |
382 |
| _ZL29build_contract_function_declsP9tree_node |
375 |
| _ZL29has_active_contract_conditionP9tree_node9tree_code |
785676 |
| _ZL30check_for_mismatched_contractsP9tree_nodeS0_25contract_matching_context |
109 |
| _ZL33build_contract_condition_functionP9tree_nodeb |
416 |
| _ZL33declare_handle_contract_violationv |
699 |
| _ZL34get_postcondition_result_parameterP9tree_node |
74 |
| _ZL34get_pseudo_contract_violation_typev |
699 |