osprey/kg++fe/tree_verify.cxx File Reference

#include "gnu_config.h"
#include <assert.h>
#include <limits.h>
#include <stdio.h>
#include "gnu/tree.h"
#include "cp-tree.h"
#include <hash_map>
#include <hash_set>
#include <vector>

Include dependency graph for tree_verify.cxx:

Enumeration Type Documentation

enum scope

Enumerator:

namespace_scope
class_scope
function_scope

Definition at line 55 of file tree_verify.cxx.

Function Documentation

void add_child_to_map	(	tree	parent,
		tree	child
	)

Definition at line 2655 of file tree_verify.cxx.

References assert, NULL_TREE, and parent_map.

Referenced by verify_class_type(), verify_compound_statement(), verify_controlling_expr(), verify_ctor_initializer(), verify_decl_statement(), verify_do_statement(), verify_for_statement(), verify_function(), verify_if_statement(), verify_namespace(), verify_overload(), verify_statement(), verify_switch_statement(), verify_template_decl(), verify_try_block(), verify_var_decl_statement(), and verify_while_statement().

tree ancestor_is_function ( tree t )

Definition at line 2719 of file tree_verify.cxx.

References c, cur, get_parent(), NULL_TREE, and TREE_CODE.

Referenced by verify_compound_statement(), verify_goto_statement(), verify_label_decl(), verify_statement(), and verify_throw_expr().

bool ancestor_is_loop ( tree t )

Definition at line 2738 of file tree_verify.cxx.

References c, cur, get_parent(), NULL_TREE, and TREE_CODE.

Referenced by verify_statement().

bool ancestor_is_switch ( tree t )

Definition at line 2760 of file tree_verify.cxx.

References c, cur, get_parent(), NULL_TREE, and TREE_CODE.

Referenced by verify_case_label(), and verify_statement().

tree get_parent ( tree t )

Definition at line 2621 of file tree_verify.cxx.

References assert, NULL_TREE, parent_map, and result.

Referenced by ancestor_is_function(), ancestor_is_loop(), ancestor_is_switch(), verify_field_decl(), verify_function(), verify_namespace(), and verify_parm_decl().

tree get_parent_or_null ( tree t )

Definition at line 2632 of file tree_verify.cxx.

References assert, NULL_TREE, parent_map, and result.

Referenced by verify_class_type(), verify_function(), verify_global_namespace(), and verify_namespace().

bool integer_cst_le	(	size_t	x,
		tree	y
	)

Definition at line 2825 of file tree_verify.cxx.

References assert, CHAR_BIT, HOST_WIDE_INT, integer_zero_node, NULL_TREE, TREE_CODE, TREE_INT_CST_HIGH, TREE_INT_CST_LOW, and tree_int_cst_lt().

Referenced by verify_constructor_expr().

unsigned long integer_cst_remainder	(	tree	a,
		unsigned long	N
	)

Definition at line 2798 of file tree_verify.cxx.

References assert, CHAR_BIT, HOST_BITS_PER_WIDE_INT, NULL_TREE, result, TREE_CODE, TREE_INT_CST_HIGH, TREE_INT_CST_LOW, and tree_int_cst_sgn().

Referenced by verify_field_decl().

bool is_expr_code ( tree_code code )

Definition at line 2059 of file tree_verify.cxx.

References TREE_CODE_CLASS.

Referenced by verify_cleanup_statement(), verify_expr(), and verify_var_decl().

bool is_integral_constant_expression ( tree expr )

Definition at line 2791 of file tree_verify.cxx.

References assert, is_integral_type(), NULL_TREE, TREE_CONSTANT, and TREE_TYPE.

Referenced by verify_case_label().

bool is_integral_type ( tree type )

Definition at line 2778 of file tree_verify.cxx.

References assert, c, NULL_TREE, and TREE_CODE.

Referenced by is_integral_constant_expression(), is_numeric_scalar_type(), verify_arithmetic_binary_op(), verify_bit_not_expr(), verify_bitwise_binary_op(), verify_comparison(), verify_cond_expr(), verify_float_expr(), verify_integer_cst(), verify_logical_binary_op(), verify_shift_expr(), verify_trunc_expr(), and verify_truth_not_expr().

bool is_numeric_scalar_type ( tree type )

Definition at line 2785 of file tree_verify.cxx.

References assert, is_integral_type(), NULL_TREE, and TREE_CODE.

Referenced by verify_arithmetic_binary_op(), verify_comparison(), verify_incr_or_decr(), and verify_negate_expr().

void mark_tree_node_as_seen ( tree t )

Definition at line 2668 of file tree_verify.cxx.

References seen_map.

Referenced by verify_class_type(), and verify_function().

bool tree_node_already_seen ( tree t )

Definition at line 2663 of file tree_verify.cxx.

References seen_map.

Referenced by verify_class_type(), and verify_function().

void verify_addr_expr ( tree expr )

Definition at line 1458 of file tree_verify.cxx.

References assert, NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, TYPE_MAIN_VARIANT, TYPE_PTRMEM_P, verify_expr(), verify_function(), and verify_label_decl().

Referenced by verify_expr().

void verify_arithmetic_binary_op ( tree expr )

Definition at line 1663 of file tree_verify.cxx.

References assert, is_integral_type(), is_numeric_scalar_type(), NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_array_ref ( tree expr )

Definition at line 2036 of file tree_verify.cxx.

References assert, index(), NULL_TREE, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_array_type ( tree type )

Definition at line 2384 of file tree_verify.cxx.

References assert, HOST_WIDE_INT, integer_zero_node, n, NULL_TREE, TREE_CODE, tree_int_cst_equal(), TREE_INT_CST_HIGH, TREE_INT_CST_LOW, tree_int_cst_lt(), TREE_TYPE, TYPE_DOMAIN, TYPE_MAX_VALUE, TYPE_MIN_VALUE, TYPE_NAME, TYPE_SIZE, and verify_type().

Referenced by verify_type().

void verify_asm_statement ( tree st )

Definition at line 802 of file tree_verify.cxx.

References ASM_CLOBBERS, ASM_INPUTS, ASM_OUTPUTS, ASM_STRING, NULL_TREE, and verify_simple_string_cst().

Referenced by verify_statement().

void verify_bind_expr ( tree expr )

Definition at line 1862 of file tree_verify.cxx.

References assert, NULL_TREE, and TREE_CODE.

Referenced by verify_expr().

void verify_bit_not_expr ( tree expr )

Definition at line 1403 of file tree_verify.cxx.

References assert, is_integral_type(), NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_bitwise_binary_op ( tree expr )

Definition at line 1621 of file tree_verify.cxx.

References assert, is_integral_type(), NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_call_expr ( tree expr )

Definition at line 1831 of file tree_verify.cxx.

References args, assert, cur, fptr, NULL_TREE, TREE_CHAIN, TREE_CODE, TREE_OPERAND, TREE_TYPE, TREE_VALUE, and verify_expr().

Referenced by verify_expr().

void verify_case_label ( tree st )

Definition at line 816 of file tree_verify.cxx.

References ancestor_is_switch(), assert, CASE_HIGH, CASE_LOW, high, is_integral_constant_expression(), low, NULL_TREE, same_type_p, TREE_TYPE, and verify_expr().

Referenced by verify_statement().

void verify_class_type ( tree type )

Definition at line 2440 of file tree_verify.cxx.

References add_child_to_map(), assert, basetypes, BINFO_BASETYPES, BINFO_TYPE, class_scope, cur, enum_type, get_parent_or_null(), i, mark_tree_node_as_seen(), mem, n, NULL_TREE, same_type_p, t1, TREE_CHAIN, TREE_CODE, tree_node_already_seen(), TREE_TYPE, TREE_VEC_ELT, TREE_VEC_LENGTH, TREE_VIA_PRIVATE, TREE_VIA_PROTECTED, TREE_VIA_PUBLIC, TYPE_BINFO, TYPE_FIELDS, TYPE_MAIN_VARIANT, TYPE_METHODS, TYPE_PTRMEMFUNC_FN_TYPE, TYPE_PTRMEMFUNC_P, verify_decl(), and verify_type().

Referenced by verify_type().

void verify_cleanup_statement ( tree st )

Definition at line 1071 of file tree_verify.cxx.

References assert, CLEANUP_DECL, CLEANUP_EXPR, function_scope, is_expr_code(), NULL_TREE, TREE_CODE, verify_decl(), and verify_expr().

Referenced by verify_statement().

void verify_comparison ( tree expr )

Definition at line 1703 of file tree_verify.cxx.

References assert, is_integral_type(), is_numeric_scalar_type(), NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_complex_type ( tree type )

Definition at line 2217 of file tree_verify.cxx.

References assert, COMPLEX_TYPE, NULL_TREE, and TREE_CODE.

Referenced by verify_type().

void verify_component_ref ( tree expr )

Definition at line 1756 of file tree_verify.cxx.

References assert, NULL_TREE, TREE_CODE, TREE_OPERAND, TREE_TYPE, verify_expr(), and verify_field_decl().

Referenced by verify_expr().

void verify_compound_expr ( tree expr )

Definition at line 1782 of file tree_verify.cxx.

References assert, NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_compound_statement ( tree stmt )

Definition at line 838 of file tree_verify.cxx.

References add_child_to_map(), ancestor_is_function(), assert, COMPOUND_BODY, cur, NULL_TREE, STMT_LINENO, TREE_CHAIN, TREE_CODE, and verify_statement().

Referenced by verify_ctor_initializer(), and verify_statement().

void verify_cond_expr ( tree expr )

Definition at line 1802 of file tree_verify.cxx.

References assert, cond, is_integral_type(), NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_const_decl ( tree decl )

Definition at line 546 of file tree_verify.cxx.

References assert, DECL_INITIAL, DECL_NAME, NULL_TREE, same_type_p, TREE_CODE, TREE_CODE_CLASS, TREE_TYPE, and verify_ordinary_identifier().

Referenced by verify_decl().

void verify_constructor_expr ( tree expr )

Definition at line 1871 of file tree_verify.cxx.

References assert, cur, index(), integer_cst_le(), NULL_TREE, same_type_p, TREE_CHAIN, TREE_CODE, TREE_OPERAND, TREE_PURPOSE, TREE_TYPE, TREE_VALUE, TYPE_DOMAIN, TYPE_FIELDS, TYPE_MAIN_VARIANT, TYPE_MAX_VALUE, verify_expr(), and verify_type().

Referenced by verify_expr().

void verify_controlling_expr	(	tree	parent,
		tree	t
	)

Definition at line 1099 of file tree_verify.cxx.

References add_child_to_map(), assert, NULL_TREE, TREE_CHAIN, TREE_CODE, TREE_PURPOSE, TREE_TYPE, TREE_VALUE, verify_expr(), and verify_statement().

Referenced by verify_do_statement(), verify_for_statement(), verify_if_statement(), verify_switch_statement(), and verify_while_statement().

void verify_convert_expr ( tree expr )

Definition at line 1571 of file tree_verify.cxx.

References assert, NULL_TREE, TREE_CODE, TREE_OPERAND, and verify_expr().

Referenced by verify_expr().

void verify_ctor_initializer ( tree ctor )

Definition at line 519 of file tree_verify.cxx.

References add_child_to_map(), assert, NULL_TREE, TREE_CHAIN, TREE_CODE, and verify_compound_statement().

void verify_decl	(	tree	decl,
		scope	sc
	)

void verify_decl_statement ( tree st )

Definition at line 860 of file tree_verify.cxx.

References add_child_to_map(), assert, DECL_STMT_DECL, function_scope, NULL_TREE, TREE_CODE, TREE_CODE_CLASS, and verify_decl().

Referenced by verify_statement().

void verify_do_statement ( tree st )

Definition at line 893 of file tree_verify.cxx.

References add_child_to_map(), assert, DO_BODY, DO_COND, NULL_TREE, TREE_CODE, verify_controlling_expr(), and verify_statement().

Referenced by verify_statement().

void verify_enumeral_type ( tree type )

Definition at line 2225 of file tree_verify.cxx.

References assert, cur, integer_zero_node, NULL_TREE, same_type_p, size, TREE_CHAIN, TREE_CODE, tree_int_cst_equal(), TREE_INT_CST_HIGH, TREE_INT_CST_LOW, tree_int_cst_lt(), TREE_PURPOSE, TREE_TYPE, TREE_UNSIGNED, TREE_VALUE, TYPE_MAX_VALUE, TYPE_MIN_VALUE, TYPE_NAME, TYPE_PRECISION, TYPE_SIZE, TYPE_VALUES, verify_integer_cst(), verify_named_type(), and verify_ordinary_identifier().

Referenced by verify_type().

void verify_expr ( tree expr )

Definition at line 1130 of file tree_verify.cxx.

References assert, fprintf(), is_expr_code(), NULL_TREE, TREE_CODE, TREE_TYPE, verify_addr_expr(), verify_arithmetic_binary_op(), verify_array_ref(), verify_bind_expr(), verify_bit_not_expr(), verify_bitwise_binary_op(), verify_call_expr(), verify_comparison(), verify_component_ref(), verify_compound_expr(), verify_cond_expr(), verify_constructor_expr(), verify_convert_expr(), verify_float_expr(), verify_incr_or_decr(), verify_indirect_ref(), verify_init_expr(), verify_integer_cst(), verify_logical_binary_op(), verify_modify_expr(), verify_negate_expr(), verify_nop_expr(), verify_parm_decl(), verify_ptrmem_cst(), verify_save_expr(), verify_shift_expr(), verify_string_cst(), verify_target_expr(), verify_throw_expr(), verify_trunc_expr(), verify_truth_not_expr(), verify_type(), and verify_var_decl().

Referenced by verify_addr_expr(), verify_arithmetic_binary_op(), verify_array_ref(), verify_bit_not_expr(), verify_bitwise_binary_op(), verify_call_expr(), verify_case_label(), verify_cleanup_statement(), verify_comparison(), verify_component_ref(), verify_compound_expr(), verify_cond_expr(), verify_constructor_expr(), verify_controlling_expr(), verify_convert_expr(), verify_float_expr(), verify_for_statement(), verify_function_arguments(), verify_goto_statement(), verify_incr_or_decr(), verify_indirect_ref(), verify_logical_binary_op(), verify_modify_expr(), verify_negate_expr(), verify_nop_expr(), verify_return_statement(), verify_shift_expr(), verify_stmt(), verify_stmts(), verify_target_expr(), verify_throw_expr(), verify_trunc_expr(), verify_truth_not_expr(), and verify_var_decl().

void verify_field_decl ( tree decl )

Definition at line 645 of file tree_verify.cxx.

References assert, CHAR_BIT, cur, DECL_ALIGN, DECL_CONTEXT, DECL_SIZE, field_type(), get_parent(), integer_cst_remainder(), integer_zero_node, NULL_TREE, offset, same_type_p, TREE_CHAIN, TREE_CODE, TREE_CODE_CLASS, tree_int_cst_lt(), tree_int_cst_sgn(), TREE_TYPE, TYPE_FIELDS, and TYPE_MAIN_VARIANT.

Referenced by verify_component_ref(), and verify_decl().

void verify_float_expr ( tree expr )

Definition at line 1543 of file tree_verify.cxx.

References assert, is_integral_type(), NULL_TREE, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_for_statement ( tree st )

Definition at line 910 of file tree_verify.cxx.

References add_child_to_map(), assert, FOR_BODY, FOR_COND, FOR_EXPR, FOR_INIT_STMT, iter, NULL_TREE, TREE_CODE, verify_controlling_expr(), verify_expr(), and verify_statement().

Referenced by verify_statement().

void verify_function ( tree fn )

void verify_function_arguments ( tree args )

Definition at line 2357 of file tree_verify.cxx.

References assert, default_arg(), next, NULL_TREE, same_type_p, TREE_CHAIN, TREE_CODE, TREE_PURPOSE, TREE_TYPE, TREE_VALUE, verify_expr(), verify_type(), and void_type_node.

Referenced by verify_function_type(), and verify_method_type().

void verify_function_type ( tree type )

Definition at line 2318 of file tree_verify.cxx.

References assert, NULL_TREE, TREE_CODE, TREE_TYPE, TYPE_ARG_TYPES, verify_function_arguments(), and verify_type().

Referenced by verify_type().

void verify_global_namespace ( tree ns )

Definition at line 183 of file tree_verify.cxx.

References assert, DECL_CONTEXT, DECL_NAME, get_parent_or_null(), global_namespace, NULL_TREE, strcmp(), TREE_CODE, and verify_ordinary_identifier().

Referenced by verify_namespace().

void verify_goto_statement ( tree st )

Definition at line 938 of file tree_verify.cxx.

References ancestor_is_function(), assert, DECL_NAME, dest, GOTO_DESTINATION, NULL_TREE, TREE_CODE, TREE_TYPE, verify_expr(), and verify_ordinary_identifier().

Referenced by verify_statement().

const char * verify_identifier ( tree id )

Definition at line 2700 of file tree_verify.cxx.

References assert, IDENTIFIER_OPNAME_P, NULL_TREE, TREE_CODE, and verify_ordinary_identifier().

void verify_if_statement ( tree st )

Definition at line 964 of file tree_verify.cxx.

References add_child_to_map(), assert, cond, ELSE_CLAUSE, IF_COND, NULL_TREE, THEN_CLAUSE, TREE_CODE, verify_controlling_expr(), and verify_statement().

Referenced by verify_statement().

void verify_incr_or_decr ( tree expr )

Definition at line 1437 of file tree_verify.cxx.

References assert, is_numeric_scalar_type(), NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_indirect_ref ( tree expr )

Definition at line 1506 of file tree_verify.cxx.

References assert, NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_init_expr ( tree expr )

Definition at line 1952 of file tree_verify.cxx.

References assert, NULL_TREE, and TREE_CODE.

Referenced by verify_expr().

void verify_integer_cst ( tree cst )

Definition at line 1305 of file tree_verify.cxx.

References assert, is_integral_type(), NULL_TREE, TREE_CODE, tree_int_cst_lt(), TREE_TYPE, TYPE_MAX_VALUE, and TYPE_MIN_VALUE.

Referenced by verify_enumeral_type(), verify_expr(), verify_integer_type(), verify_real_type(), and verify_type().

void verify_integer_type ( tree type )

Definition at line 2170 of file tree_verify.cxx.

References assert, integer_zero_node, NULL_TREE, size, TREE_CODE, tree_int_cst_equal(), TREE_INT_CST_HIGH, TREE_INT_CST_LOW, tree_int_cst_lt(), TREE_UNSIGNED, TYPE_MAX_VALUE, TYPE_MIN_VALUE, TYPE_PRECISION, TYPE_SIZE, and verify_integer_cst().

Referenced by verify_type().

tree verify_label_decl ( tree decl )

Definition at line 534 of file tree_verify.cxx.

References ancestor_is_function(), assert, DECL_NAME, NULL_TREE, TREE_CODE, and verify_ordinary_identifier().

Referenced by verify_addr_expr(), verify_decl(), and verify_statement().

void verify_logical_binary_op ( tree expr )

Definition at line 1643 of file tree_verify.cxx.

References assert, is_integral_type(), NULL_TREE, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_method_type ( tree type )

Definition at line 2330 of file tree_verify.cxx.

References assert, DECL_FUNCTION_MEMBER_P, NULL_TREE, same_type_p, TREE_CHAIN, TREE_CODE, TREE_TYPE, TYPE_ARG_TYPES, TYPE_METHOD_BASETYPE, TYPE_METHODS, and verify_function_arguments().

Referenced by verify_type().

void verify_modify_expr ( tree expr )

Definition at line 1735 of file tree_verify.cxx.

References assert, NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, TYPE_MAIN_VARIANT, and verify_expr().

Referenced by verify_expr().

const char * verify_named_type ( tree type )

Definition at line 2582 of file tree_verify.cxx.

References assert, DECL_NAME, NULL_TREE, TREE_CODE, TREE_CODE_CLASS, TYPE_NAME, and verify_ordinary_identifier().

Referenced by verify_enumeral_type(), verify_real_type(), verify_type(), and verify_type_name_is().

void verify_namespace ( tree ns )

Definition at line 200 of file tree_verify.cxx.

References add_child_to_map(), assert, cp_namespace_decls(), DECL_CONTEXT, DECL_NAME, get_parent(), get_parent_or_null(), global_namespace, namespace_scope, NULL_TREE, std_node, strcmp(), TREE_CHAIN, TREE_CODE, TREE_CODE_CLASS, TREE_PURPOSE, TREE_VALUE, verify_decl(), verify_global_namespace(), verify_ordinary_identifier(), and verify_overload().

Referenced by verify_decl().

void verify_negate_expr ( tree expr )

Definition at line 1385 of file tree_verify.cxx.

References assert, is_numeric_scalar_type(), NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_nop_expr ( tree expr )

Definition at line 1557 of file tree_verify.cxx.

References assert, NULL_TREE, TREE_CODE, TREE_OPERAND, and verify_expr().

Referenced by verify_expr().

const char * verify_ordinary_identifier ( tree id )

Definition at line 2678 of file tree_verify.cxx.

References assert, IDENTIFIER_LENGTH, IDENTIFIER_OPNAME_P, IDENTIFIER_POINTER, NULL_TREE, s, strlen(), and TREE_CODE.

Referenced by verify_const_decl(), verify_decl(), verify_enumeral_type(), verify_function(), verify_global_namespace(), verify_goto_statement(), verify_identifier(), verify_label_decl(), verify_named_type(), and verify_namespace().

void verify_overload	(	tree	fn,
		tree	ns
	)

Definition at line 384 of file tree_verify.cxx.

References add_child_to_map(), assert, namespace_scope, NULL_TREE, OVL_CURRENT, OVL_NEXT, TREE_CODE, and verify_decl().

Referenced by verify_namespace().

void verify_parentless ( tree t )

Definition at line 2645 of file tree_verify.cxx.

References assert, NULL_TREE, and parent_map.

void verify_parm_decl ( tree decl )

Definition at line 611 of file tree_verify.cxx.

References assert, CHAR_BIT, cur, DECL_ALIGN, DECL_ARGUMENTS, DECL_SIZE, get_parent(), NULL_TREE, TREE_CHAIN, TREE_CODE, TREE_CODE_CLASS, tree_int_cst_lt(), TREE_TYPE, and TYPE_SIZE.

Referenced by verify_decl(), and verify_expr().

void verify_pointer_type ( tree type )

Definition at line 2283 of file tree_verify.cxx.

References assert, NULL_TREE, T, TREE_CODE, TREE_TYPE, TYPE_PTRMEM_CLASS_TYPE, TYPE_PTRMEM_P, TYPE_PTRMEM_POINTED_TO_TYPE, verify_type(), and X.

Referenced by verify_type().

void verify_ptrmem_cst ( tree ptr )

Definition at line 1349 of file tree_verify.cxx.

References assert, class_type, DECL_CONTEXT, field_type(), NULL_TREE, PTRMEM_CST_CLASS, PTRMEM_CST_MEMBER, same_type_p, TREE_CODE, TREE_CODE_CLASS, TREE_TYPE, TYPE_PTRMEM_CLASS_TYPE, TYPE_PTRMEM_P, and TYPE_PTRMEM_POINTED_TO_TYPE.

Referenced by verify_expr().

void verify_real_type ( tree type )

Definition at line 2200 of file tree_verify.cxx.

References assert, integer_zero_node, NULL_TREE, size, TREE_CODE, TREE_INT_CST_HIGH, TREE_INT_CST_LOW, tree_int_cst_lt(), TYPE_PRECISION, TYPE_SIZE, verify_integer_cst(), and verify_named_type().

Referenced by verify_type().

void verify_reference_type ( tree type )

Definition at line 2308 of file tree_verify.cxx.

References assert, NULL_TREE, TREE_CODE, TREE_TYPE, and verify_type().

Referenced by verify_type().

void verify_return_statement ( tree st )

Definition at line 986 of file tree_verify.cxx.

References assert, NULL_TREE, TREE_CODE, and verify_expr().

Referenced by verify_statement().

void verify_save_expr ( tree expr )

Definition at line 1960 of file tree_verify.cxx.

References assert, NULL_TREE, and TREE_CODE.

Referenced by verify_expr().

void verify_scope_statement ( tree st )

Definition at line 1088 of file tree_verify.cxx.

References assert, NULL_TREE, and TREE_CODE.

Referenced by verify_statement().

void verify_shift_expr ( tree expr )

Definition at line 1602 of file tree_verify.cxx.

References assert, is_integral_type(), NULL_TREE, same_type_p, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_simple_string_cst ( tree s )

Definition at line 1333 of file tree_verify.cxx.

References assert, n, NULL_TREE, p, strlen(), TREE_CODE, TREE_STRING_LENGTH, and TREE_STRING_POINTER.

Referenced by verify_asm_statement().

void verify_statement ( tree stmt )

Definition at line 693 of file tree_verify.cxx.

Referenced by verify_compound_statement(), verify_controlling_expr(), verify_do_statement(), verify_for_statement(), verify_function(), verify_if_statement(), verify_switch_statement(), verify_try_block(), and verify_while_statement().

void verify_string_cst ( tree s )

Definition at line 1319 of file tree_verify.cxx.

References assert, n, NULL_TREE, p, TREE_CODE, TREE_STRING_LENGTH, and TREE_STRING_POINTER.

Referenced by verify_expr().

void verify_switch_statement ( tree st )

Definition at line 997 of file tree_verify.cxx.

References add_child_to_map(), assert, cond, NULL_TREE, SWITCH_BODY, SWITCH_COND, TREE_CODE, verify_controlling_expr(), verify_statement(), and verify_var_decl_statement().

Referenced by verify_statement().

void verify_target_expr ( tree expr )

Definition at line 1970 of file tree_verify.cxx.

References AGGR_INIT_VIA_CTOR_P, args, assert, cur, DECL_ARTIFICIAL, fptr, NULL_TREE, same_type_p, TREE_CHAIN, TREE_CODE, TREE_OPERAND, TREE_TYPE, TREE_VALUE, TYPE_MAIN_VARIANT, and verify_expr().

Referenced by verify_expr().

void verify_template_decl	(	tree	decl,
		scope	sc
	)

Definition at line 352 of file tree_verify.cxx.

References add_child_to_map(), assert, DECL_TEMPLATE_SPECIALIZATIONS, fprintf(), NULL_TREE, TREE_CHAIN, TREE_CODE, TREE_VALUE, and verify_decl().

Referenced by verify_decl().

void verify_throw_expr ( tree expr )

Definition at line 1585 of file tree_verify.cxx.

References ancestor_is_function(), assert, NULL_TREE, TREE_CODE, TREE_OPERAND, and verify_expr().

Referenced by verify_expr().

void verify_trunc_expr ( tree expr )

Definition at line 1529 of file tree_verify.cxx.

References assert, is_integral_type(), NULL_TREE, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_truth_not_expr ( tree expr )

Definition at line 1421 of file tree_verify.cxx.

References assert, is_integral_type(), NULL_TREE, TREE_CODE, TREE_OPERAND, TREE_TYPE, and verify_expr().

Referenced by verify_expr().

void verify_try_block ( tree st )

Definition at line 1021 of file tree_verify.cxx.

References add_child_to_map(), assert, cur, HANDLER_BODY, NULL_TREE, TREE_CHAIN, TREE_CODE, TRY_HANDLERS, TRY_STMTS, and verify_statement().

Referenced by verify_statement().

void verify_type ( tree type )

Definition at line 2070 of file tree_verify.cxx.

References assert, CHAR_BIT, COMPLEX_TYPE, CP_TYPE_CONST_P, CP_TYPE_RESTRICT_P, CP_TYPE_VOLATILE_P, fprintf(), integer_zero_node, NULL_TREE, same_type_p, size, TREE_CODE, TREE_CODE_CLASS, tree_int_cst_equal(), tree_int_cst_lt(), TYPE_ALIGN, TYPE_MAIN_VARIANT, TYPE_SIZE, verify_array_type(), verify_class_type(), verify_complex_type(), verify_enumeral_type(), verify_function_type(), verify_integer_cst(), verify_integer_type(), verify_method_type(), verify_named_type(), verify_pointer_type(), verify_real_type(), verify_reference_type(), verify_type_name_is(), and void_type_node.

Referenced by verify_array_type(), verify_class_type(), verify_constructor_expr(), verify_decl(), verify_expr(), verify_function_arguments(), verify_function_type(), verify_pointer_type(), verify_reference_type(), and verify_var_decl().

void verify_type_name_is	(	tree	type,
		const char *	s
	)

Definition at line 2598 of file tree_verify.cxx.

References assert, len, strlen(), strncmp(), and verify_named_type().

Referenced by verify_type().

void verify_var_decl ( tree decl )

Definition at line 573 of file tree_verify.cxx.

References assert, CHAR_BIT, DECL_ALIGN, DECL_INITIAL, DECL_SIZE, is_expr_code(), NULL_TREE, same_type_p, TREE_CODE, TREE_CODE_CLASS, tree_int_cst_lt(), TREE_TYPE, TYPE_SIZE, verify_expr(), and verify_type().

Referenced by verify_decl(), and verify_expr().

void verify_var_decl_statement ( tree st )

Definition at line 877 of file tree_verify.cxx.

References add_child_to_map(), assert, DECL_STMT_DECL, function_scope, NULL_TREE, TREE_CODE, TREE_CODE_CLASS, and verify_decl().

Referenced by verify_switch_statement(), and verify_while_statement().

void verify_while_statement ( tree st )

Definition at line 1049 of file tree_verify.cxx.

References add_child_to_map(), assert, cond, NULL_TREE, TREE_CODE, verify_controlling_expr(), verify_statement(), verify_var_decl_statement(), WHILE_BODY, and WHILE_COND.

Referenced by verify_statement().

const char* verity_ordinary_identifier ( tree id )

void verity_overload ( tree ovl )

Variable Documentation

std::hash_map<tree, tree, void_ptr_hash> parent_map

Definition at line 2616 of file tree_verify.cxx.

Referenced by add_child_to_map(), get_parent(), get_parent_or_null(), and verify_parentless().

std::hash_set<tree, void_ptr_hash> seen_map

Definition at line 2617 of file tree_verify.cxx.

Referenced by mark_tree_node_as_seen(), and tree_node_already_seen().


Data Types
type	void_ptr_hash
Enumerations
enum	scope { namespace_scope, class_scope, function_scope }
Functions/Subroutines
void	verify_namespace (tree ns)
void	verify_global_namespace (tree ns)
void	verify_decl (tree decl, scope sc)
void	verify_template_decl (tree decl, scope sc)
void	verity_overload (tree ovl)
const char *	verify_identifier (tree id)
const char *	verity_ordinary_identifier (tree id)
void	verify_function (tree fn)
void	verify_ctor_initializer (tree ctor)
void	verify_overload (tree fn, tree ns)
tree	verify_label_decl (tree)
void	verify_const_decl (tree)
void	verify_var_decl (tree)
void	verify_parm_decl (tree)
void	verify_field_decl (tree)
void	verify_expr (tree expr)
void	verify_integer_cst (tree)
void	verify_string_cst (tree)
void	verify_simple_string_cst (tree)
void	verify_ptrmem_cst (tree)
void	verify_negate_expr (tree)
void	verify_bit_not_expr (tree)
void	verify_truth_not_expr (tree)
void	verify_incr_or_decr (tree)
void	verify_addr_expr (tree)
void	verify_indirect_ref (tree)
void	verify_trunc_expr (tree)
void	verify_float_expr (tree)
void	verify_nop_expr (tree)
void	verify_convert_expr (tree)
void	verify_throw_expr (tree)
void	verify_shift_expr (tree)
void	verify_bitwise_binary_op (tree)
void	verify_logical_binary_op (tree)
void	verify_arithmetic_binary_op (tree)
void	verify_comparison (tree)
void	verify_modify_expr (tree)
void	verify_component_ref (tree)
void	verify_compound_expr (tree)
void	verify_cond_expr (tree)
void	verify_call_expr (tree)
void	verify_bind_expr (tree)
void	verify_constructor_expr (tree)
void	verify_init_expr (tree)
void	verify_save_expr (tree)
void	verify_target_expr (tree)
void	verify_array_ref (tree)
bool	is_expr_code (tree_code)
void	verify_statement (tree stmt)
void	verify_asm_statement (tree)
void	verify_case_label (tree)
void	verify_decl_statement (tree)
void	verify_var_decl_statement (tree)
void	verify_do_statement (tree)
void	verify_for_statement (tree)
void	verify_goto_statement (tree)
void	verify_if_statement (tree)
void	verify_return_statement (tree)
void	verify_switch_statement (tree)
void	verify_try_block (tree)
void	verify_while_statement (tree)
void	verify_compound_statement (tree stmt)
void	verify_cleanup_statement (tree)
void	verify_scope_statement (tree)
void	verify_controlling_expr (tree parent, tree t)
void	verify_type (tree type)
void	verify_integer_type (tree)
void	verify_real_type (tree)
void	verify_complex_type (tree)
void	verify_enumeral_type (tree)
void	verify_pointer_type (tree)
void	verify_reference_type (tree)
void	verify_function_type (tree)
void	verify_method_type (tree)
void	verify_function_arguments (tree)
void	verify_array_type (tree)
void	verify_class_type (tree)
const char *	verify_named_type (tree)
void	verify_type_name_is (tree, const char *)
const char *	verify_ordinary_identifier (tree)
tree	ancestor_is_function (tree)
bool	ancestor_is_loop (tree)
bool	ancestor_is_switch (tree)
bool	is_integral_type (tree)
bool	is_numeric_scalar_type (tree)
bool	is_integral_constant_expression (tree)
unsigned long	integer_cst_remainder (tree a, unsigned long N)
bool	integer_cst_le (size_t x, tree y)
tree	get_parent (tree)
tree	get_parent_or_null (tree)
void	verify_parentless (tree)
void	add_child_to_map (tree parent, tree child)
bool	tree_node_already_seen (tree)
void	mark_tree_node_as_seen (tree)
Variables
std::hash_map< tree, tree, void_ptr_hash >	parent_map
std::hash_set< tree, void_ptr_hash >	seen_map

osprey/kg++fe/tree_verify.cxx File Reference

Data Types

Enumerations

Functions/Subroutines

Variables

Enumeration Type Documentation

Function Documentation

Variable Documentation