Searched refs:vtv_finish_verification_constructor_init_function (Results 1 – 7 of 7) sorted by relevance
1181 vtv_finish_verification_constructor_init_function (init_routine_body); in vtv_generate_init_routine()
6071 vtv_finish_verification_constructor_init_function (tree function_body) in vtv_finish_verification_constructor_init_function() function
1792 (vtv_finish_verification_constructor_init_function): New extern1814 (vtv_finish_verification_constructor_init_function): New function.
6971 extern tree vtv_finish_verification_constructor_init_function (tree);
5713 vtv_finish_verification_constructor_init_function (tree function_body) in vtv_finish_verification_constructor_init_function() function
6696 extern tree vtv_finish_verification_constructor_init_function (tree);