Function appendIndVariables

src/ast/ast_derive_alias.cpp:11–22

    typedef das_hash_set<Variable *> ExpressionSources;

    void appendIndVariables ( Function * lookup, IndirectSources & indGlobalVariables, das_hash_set<Function *> & accessed ) {
        if ( accessed.find(lookup)!=accessed.end() ) return;
        accessed.insert(lookup);
        for ( auto var : lookup->useGlobalVariables ) {
            if ( indGlobalVariables.find(var)==indGlobalVariables.end() ) {
                indGlobalVariables[var] = lookup;
            }
        }
        for ( auto fun : lookup->useFunctions ) {
            appendIndVariables(fun, indGlobalVariables, accessed);
        }
    }

    bool isCompatibleFunction ( const FunctionPtr & func, const TypeDeclPtr & inv ) {
        if ( func->arguments.size()!=inv->argTypes.size() ) return false;