typecheck-common.cpp File Reference

Go to the source code of this file.

Functions
void	typecheck_init_state (verifier_state *state, basicblock::State minstate)
void	typecheck_reset_state (verifier_state *state)
bool	typecheck_copy_types (verifier_state *state, s4 *srcvars, s4 *dstvars, s4 n)
typecheck_result	typecheck_merge_types (verifier_state *state, s4 *srcvars, s4 *dstvars, s4 n)
typecheck_result	typestate_merge (verifier_state *state, s4 *srcvars, varinfo *srclocals, s4 *dstvars, varinfo *dstlocals, s4 n)
bool	typestate_reach (verifier_state *state, basicblock *destblock, s4 *srcvars, varinfo *srclocals, s4 n)
bool	typecheck_init_locals (verifier_state *state, bool newthis)

Function Documentation

bool typecheck_copy_types	(	verifier_state *	state,
		s4 *	srcvars,
		s4 *	dstvars,
		s4	n
	)

Definition at line 271 of file typecheck-common.cpp.

bool typecheck_init_locals	(	verifier_state *	state,
		bool	newthis
	)

Definition at line 483 of file typecheck-common.cpp.

void typecheck_init_state	(	verifier_state *	state,
		basicblock::State	minstate
	)

Definition at line 173 of file typecheck-common.cpp.

typecheck_result typecheck_merge_types	(	verifier_state *	state,
		s4 *	srcvars,
		s4 *	dstvars,
		s4	n
	)

Definition at line 308 of file typecheck-common.cpp.

void typecheck_reset_state

(

verifier_state *

state

)

Definition at line 213 of file typecheck-common.cpp.

typecheck_result typestate_merge	(	verifier_state *	state,
		s4 *	srcvars,
		varinfo *	srclocals,
		s4 *	dstvars,
		varinfo *	dstlocals,
		s4	n
	)

Definition at line 372 of file typecheck-common.cpp.

bool typestate_reach	(	verifier_state *	state,
		basicblock *	destblock,
		s4 *	srcvars,
		varinfo *	srclocals,
		s4	n
	)

Definition at line 418 of file typecheck-common.cpp.