test1.assembly.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	% INPUT
	%===========================================================
	expl_siteUser(Res, Scope):-
	dictVarScope(Var, Scope);
	bind(Var, expl_user(Res)).

	expl_siteInit(Res, Scope):-
	dictVarScope(Var, Scope);
	bind(Var, expl_init(Res)).

	% OUTPUT
	%===========================================================
	dfa_callguard(CallInst, explInitRealImpl):-
	expl_init_assignments(Res, SiteInitAssigned);
	bind(Var, expl_init(Res));
	dictVarScope(Var, SiteInitAssigned);
	dfa_callret(CallInst, Var).

	dfa_callguard(CallInst, explInitBogusImpl):-
	not expl_init_assignments(Res, SiteInit);
	bind(Var, expl_init(Res));
	dictVarScope(Var, SiteInit);
	dfa_callret(CallInst, Var).


	% GENERAL
	%===========================================================
	dictVarScope(Var, Scope):- Var=s(_, _, Scope); v(Var).