Up – Package index » jasmin » Library jasmin.linter » Linter » VariableInitialisation

Module `Linter.VariableInitialisation`

module VIChecker

checker module for variable initialisation. This expects a program to be decorated according to the ReachingDefinitions module. It checks that every (syntactically) used variable is initialised in the domain.

val check_prog : 
  (RDDomain.t Annotation.annotation, 'asm) Jasmin.Prog.prog ->
  CompileError.t list