Struct VerifyInvokeTargets 

pub struct VerifyInvokeTargets<'a> { /* private fields */ }

This visitor visits every exec, call, syscall, and procref, and ensures that the invocation target for that call is resolvable to the extent possible within the current module’s context.

This means that any reference to an external module must have a corresponding import, that the invocation kind is valid in the current module (e.g. syscall in a kernel module is not valid, nor is caller outside of a kernel module).

We attempt to apply as many call-related validations as we can here, however we are limited until later stages of compilation on what we can know in the context of a single module. As a result, more complex analyses are reserved until assembly.

Implementations

impl<'a> VerifyInvokeTargets<'a>

pub fn new( analyzer: &'a mut AnalysisContext, module: &'a mut Module, procedures: &'a BTreeSet<Ident>, current_procedure: Option<ProcedureName>, ) -> Self

Trait Implementations

impl VisitMut for VerifyInvokeTargets<'_>

fn visit_mut_alias(&mut self, alias: &mut Alias) -> ControlFlow<()>

fn visit_mut_procedure(&mut self, procedure: &mut Procedure) -> ControlFlow<()>

fn visit_mut_syscall( &mut self, target: &mut InvocationTarget, ) -> ControlFlow<()>

fn visit_mut_call(&mut self, target: &mut InvocationTarget) -> ControlFlow<()>

fn visit_mut_exec(&mut self, target: &mut InvocationTarget) -> ControlFlow<()>

fn visit_mut_procref( &mut self, target: &mut InvocationTarget, ) -> ControlFlow<()>

fn visit_mut_invoke_target( &mut self, target: &mut InvocationTarget, ) -> ControlFlow<()>

fn visit_mut_alias_target( &mut self, target: &mut AliasTarget, ) -> ControlFlow<()>

fn visit_mut_immediate_error_message( &mut self, code: &mut ErrorMsg, ) -> ControlFlow<()>

fn visit_mut_immediate_felt( &mut self, imm: &mut Immediate<Felt>, ) -> ControlFlow<()>

fn visit_mut_immediate_u32( &mut self, imm: &mut Immediate<u32>, ) -> ControlFlow<()>

fn visit_mut_immediate_u16( &mut self, imm: &mut Immediate<u16>, ) -> ControlFlow<()>

fn visit_mut_immediate_u8(&mut self, imm: &mut Immediate<u8>) -> ControlFlow<()>

fn visit_mut_immediate_push_value( &mut self, imm: &mut Immediate<PushValue>, ) -> ControlFlow<()>

fn visit_mut_immediate_word_value( &mut self, imm: &mut Immediate<WordValue>, ) -> ControlFlow<()>

fn visit_mut_type_ref(&mut self, path: &mut Span<Arc<Path>>) -> ControlFlow<()>

fn visit_mut_constant_ref( &mut self, path: &mut Span<Arc<Path>>, ) -> ControlFlow<()>

fn visit_mut_module(&mut self, module: &mut Module) -> ControlFlow<T>

fn visit_mut_export(&mut self, export: &mut Export) -> ControlFlow<T>

fn visit_mut_constant(&mut self, constant: &mut Constant) -> ControlFlow<T>

fn visit_mut_constant_expr(&mut self, expr: &mut ConstantExpr) -> ControlFlow<T>

fn visit_mut_type_decl(&mut self, ty: &mut TypeDecl) -> ControlFlow<T>

fn visit_mut_type_alias(&mut self, ty: &mut TypeAlias) -> ControlFlow<T>

fn visit_mut_type_expr(&mut self, ty: &mut TypeExpr) -> ControlFlow<T>

fn visit_mut_enum(&mut self, ty: &mut EnumType) -> ControlFlow<T>

fn visit_mut_enum_variant(&mut self, variant: &mut Variant) -> ControlFlow<T>

fn visit_mut_block(&mut self, block: &mut Block) -> ControlFlow<T>

fn visit_mut_op(&mut self, op: &mut Op) -> ControlFlow<T>

fn visit_mut_inst(&mut self, inst: &mut Span<Instruction>) -> ControlFlow<T>

fn visit_mut_system_event( &mut self, sys_event: Span<&mut SystemEventNode>, ) -> ControlFlow<T>

fn visit_mut_debug_options( &mut self, options: Span<&mut DebugOptions>, ) -> ControlFlow<T>