Fortran frontend: Show ALLOCATE typespecs and walk character lengths.
GCC Fortran frontend now displays ALLOCATE statement typespecs and traverses character expression lengths.
The GCC Fortran frontend has been enhanced to display the typespec of an ALLOCATE statement. Additionally, it now traverses the character length of character expressions and arrays when present within the code walker, improving debugging and static analysis capabilities.
In Details
This commit modifies the Fortran frontend's parse tree dumping and expression walking logic. Specifically, \dump-parse-tree.cc\'s \show_code_node\ now checks for and displays the typespec of \ALLOCATE\ statements, clarifying memory allocation targets. Furthermore, \frontend-passes.cc\'s \gfc_expr_walker\ and \gfc_code_walker\ have been updated to recursively walk the character length expressions for arrays and basic character types. This aids in deeper static analysis of complex type declarations and dynamic memory management within Fortran code.
- ALLOCATE statement
- In Fortran, the \
ALLOCATE\statement is used to dynamically allocate memory for certain entities, such as arrays or character variables, during program execution. This allows for flexible memory management based on runtime needs. - typespec
- A typespec, or type specification, describes the data type and associated properties (like kind, precision, or shape) of a variable or expression in a programming language. It defines what kind of data is being handled.
- parse tree
- A parse tree, also known as a syntax tree, is a tree representation of the abstract syntactic structure of source code, generated by a compiler's parser. It reflects the grammatical structure of the code.
- character expression
- In Fortran, a character expression is a sequence of characters that evaluates to a character value. This can include string literals, variables, and results of operations on character data.