fortran-vars-0.4.0: Fortran memory model and other static analysis tools.
Safe HaskellSafe-Inferred
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