fortran-vars-0.3.0: Fortran memory model and other static analysis tools.
Safe HaskellNone
LanguageHaskell2010

Language.Fortran.Vars.Dummy

Synopsis

Documentation

undefineDummyArguments :: Data a => ProgramUnit (Analysis a) -> SymbolTable -> SymbolTable Source #

Since FORTRAN parameters to functions can only have their memory allocation determined at runtime, given a ProgramUnit and a SymbolTable, return a new SymbolTable where all of the parameters have their DenotedVal set to Undefined