@@ -674,56 +674,3 @@ fn compile_function_ret(
674674 updated_fp : Some ( IntermediateValue :: MemoryAfterFp { offset : 1 . into ( ) } ) ,
675675 } ) ;
676676}
677-
678- fn find_internal_vars ( lines : & [ SimpleLine ] ) -> BTreeSet < Var > {
679- let mut internal_vars = BTreeSet :: new ( ) ;
680- for line in lines {
681- match line {
682- SimpleLine :: ForwardDeclaration { var } => {
683- internal_vars. insert ( var. clone ( ) ) ;
684- }
685- SimpleLine :: Match { arms, .. } => {
686- for arm in arms {
687- internal_vars. extend ( find_internal_vars ( arm) ) ;
688- }
689- }
690- SimpleLine :: Assignment { var, .. } => {
691- if let VarOrConstMallocAccess :: Var ( var) = var {
692- internal_vars. insert ( var. clone ( ) ) ;
693- }
694- }
695- SimpleLine :: TestZero { .. } => { }
696- SimpleLine :: HintMAlloc { var, .. }
697- | SimpleLine :: ConstMalloc { var, .. }
698- | SimpleLine :: DecomposeBits { var, .. } => {
699- internal_vars. insert ( var. clone ( ) ) ;
700- }
701- SimpleLine :: PrivateInputStart { result } => {
702- internal_vars. insert ( result. clone ( ) ) ;
703- }
704- SimpleLine :: RawAccess { res, .. } => {
705- if let SimpleExpr :: Var ( var) = res {
706- internal_vars. insert ( var. clone ( ) ) ;
707- }
708- }
709- SimpleLine :: FunctionCall { return_data, .. } => {
710- internal_vars. extend ( return_data. iter ( ) . cloned ( ) ) ;
711- }
712- SimpleLine :: IfNotZero {
713- then_branch,
714- else_branch,
715- ..
716- } => {
717- internal_vars. extend ( find_internal_vars ( then_branch) ) ;
718- internal_vars. extend ( find_internal_vars ( else_branch) ) ;
719- }
720- SimpleLine :: Panic
721- | SimpleLine :: DecomposeCustom { .. }
722- | SimpleLine :: Print { .. }
723- | SimpleLine :: FunctionRet { .. }
724- | SimpleLine :: Precompile { .. }
725- | SimpleLine :: LocationReport { .. } => { }
726- }
727- }
728- internal_vars
729- }
0 commit comments