[flang] Merge pull request flang-compiler/f18#175 from flang-compiler/tsk1

More name resolution

Original-commit: flang-compiler/f18@804e7359134a6bf724d27085931608cc9297dbe0
Reviewed-on: https://github.com/flang-compiler/f18/pull/175

[flang] Address review comments

Change IsModule to a member function of Scope.

Make multiple PRIVATE statements in a derived type be a non-fatal error.

Original-commit: flang-compiler/f18@dd42dcd15a634c629168c5fcb767c09184f000f7
Reviewed-on: https://github.com/flang-compiler/f18/pull/175

[flang] Add procedure pointer components for derived types

Also eliminate `derivedTypeData_`. Information about derived types needed
during name resolution is in `derivedTypeInfo_` and the permanent record
is the symbol table.

Original-commit: flang-compiler/f18@789960bd95d1a4c24650ff14950cb9faaa13c6aa
Reviewed-on: https://github.com/flang-compiler/f18/pull/175
Tree-same-pre-rewrite: false

[flang] More derived type name resolution

Track PRIVATE statement in derived type components and in procedure
bindings. These are recorded in derivedTypeInfo_ (along with the name
appearing in EXTENDS) and used to modify the accessibility attributes of
components and bindings. Also track SEQUENCE statement.

Detect erroneous PRIVATE in derived types that aren't in modules.
Detect incompatible SEQUENCE types.

Save EXTENDS symbol and SEQUENCE in DerivedTypeDetails and write them to
the .mod file.

Original-commit: flang-compiler/f18@f29d6207140bb818442b2d5cb7de067a34082b61
Reviewed-on: https://github.com/flang-compiler/f18/pull/175
Tree-same-pre-rewrite: false

[flang] Improve dumping of enums in parse tree

Change dump-parse-tree.h to dump enumerator names rather than just type
names for data members whose types are defined with ENUM_CLASS.

Original-commit: flang-compiler/f18@57bd4f3af945d9416ef8b302fdad7400e76d54b8
Reviewed-on: https://github.com/flang-compiler/f18/pull/175
Tree-same-pre-rewrite: false

[flang] Merge pull request flang-compiler/f18#173 from flang-compiler/tsk1

More name resolution for derived types

Original-commit: flang-compiler/f18@c06230e9cc9a4ad15c2e6dac79db26461489e666
Reviewed-on: https://github.com/flang-compiler/f18/pull/173

[flang] Address review comments

Original-commit: flang-compiler/f18@2ca329b85a3e6113f417dff25ba39898bd8869e8
Reviewed-on: https://github.com/flang-compiler/f18/pull/173

[flang] Resolve derived type parameters

Add TypeParamDetails for symbols that represent type parameters.
Create such symbols when a type-param-def-stmt is encountered.

At the end of the derived-type-def, check the parameters named
in the type-param-name-list against those encountered in each
type-param-def-stmt.

Original-commit: flang-compiler/f18@c15247bb30311e7166429a34db510cb8c736bd66
Reviewed-on: https://github.com/flang-compiler/f18/pull/173
Tree-same-pre-rewrite: false

[flang] Move KindOrLen enum to common/fortran.h

This is so that it can more easily be used in semantics in the
representation of type parameters.

Original-commit: flang-compiler/f18@f734d754e49b45c8bcaf246f577b030e77413aa7
Reviewed-on: https://github.com/flang-compiler/f18/pull/173
Tree-same-pre-rewrite: false

[flang] Resolve procedure bindings and final procedures in derived types

Add new kinds of symbol details: ProcBindingDetails, FinalProcDetails.
and GenericBindingDetails. The last is not yet implemented.
Write them to the .mod file.

Recognize DEFERRED and NON_OVERRIDABLE attributes. Enforce C783.

Resolve CLASS(t) similarly to resolution of TYPE(t).

Original-commit: flang-compiler/f18@0c0a9ab79eacd725900e4452ca352a46bec226a3
Reviewed-on: https://github.com/flang-compiler/f18/pull/173
Tree-same-pre-rewrite: false

[flang] Change BeginAttrs to return true like BeginDecl

This is just for convenience. Any Pre function that calls BeginAttrs
must return true.

Original-commit: flang-compiler/f18@5a7bc11ba43f0e0d0dbdfe845f06c86274fde8ad
Reviewed-on: https://github.com/flang-compiler/f18/pull/173
Tree-same-pre-rewrite: false

[flang] Small improvements to name resolution

Resolve names and do implicit typing in ArrayElement and LoopBounds.

Fix problem with creation of UseErrorDetails: when a conflict occurs,
record both the original USE and the new one.

Resolve the type name in TypeAttrSpec::Extends. Move CheckUseError to
DeclarationVisitor so that it can be used in ResolveDerivedType.

Report error on unresolved names. I.e. after name resolution, check each
parser::Name and verify we have a Symbol for it. This is on by default
now but it could be an option.

Original-commit: flang-compiler/f18@1c8cbc6e53cc7e1b6909bbedf5370e27fd11572f
Reviewed-on: https://github.com/flang-compiler/f18/pull/173
Tree-same-pre-rewrite: false

[flang] Small code cleanups

Use brace-initialization more consistently.
Use std::is_same_v instead of std::is_same and "if constexpr".

Original-commit: flang-compiler/f18@7f461faf9a8df16822a054ec4683f4387c6292e1
Reviewed-on: https://github.com/flang-compiler/f18/pull/173
Tree-same-pre-rewrite: false

[flang] Merge pull request flang-compiler/f18#172 from flang-compiler/pmk1

Resolve two parsing ambiguities from sscalpone

Original-commit: flang-compiler/f18@17035bb78939da94e131ee55182532cd556eb060
Reviewed-on: https://github.com/flang-compiler/f18/pull/172

[flang] Fix parsing ambiguity with pointer assignment statements

Original-commit: flang-compiler/f18@42eb1b140d40389e1ec13bdf87e4ff3a2b21ed2b
Reviewed-on: https://github.com/flang-compiler/f18/pull/172

[flang] Fix parsing ambiguity: MODULESUBROUTINEFOO at top level

Original-commit: flang-compiler/f18@cfda0945ea03245fd169d04b3b13ee3a4cbc3bc8
Reviewed-on: https://github.com/flang-compiler/f18/pull/172
Tree-same-pre-rewrite: false

[flang] Better error recovery when END TYPE is expected but only END appears.

Original-commit: flang-compiler/f18@7b70829d41dc2f1bcf28aa9337b077716943f062

[flang] improve error recovery for missequenced IMPORT and IMPLICIT

Original-commit: flang-compiler/f18@a096fc86040ec8147261dc1c7decf5fc48709f69

[flang] Merge pull request flang-compiler/f18#169 from flang-compiler/tsk1

Add support for BLOCK construct

Original-commit: flang-compiler/f18@e9abdbc993482ceab2cc2831d65f5275bdee264b
Reviewed-on: https://github.com/flang-compiler/f18/pull/169

[flang] Improve comments on class ImplicitRules

Original-commit: flang-compiler/f18@926dc2bed10ebb96e7933e7a0d2a6f88f2541f68
Reviewed-on: https://github.com/flang-compiler/f18/pull/169

[flang] Remove unused variable

Original-commit: flang-compiler/f18@05dc053442e7aa2a30f7d92d2a2025534f3935c9
Reviewed-on: https://github.com/flang-compiler/f18/pull/169
Tree-same-pre-rewrite: false

[flang] Add support for BLOCK construct

A `BLOCK` statement opens a new scope. It is different from other scopes
in that implicitly typed entities are defined in the enclosing non-block
scope, not immediately in the block. This means that `IMPORT` statements
can cause them to be hidden.

Check that blocks can't have `IMPLICIT` statements in them. It is simpler
for the parser not to deal with the different between a
specification-part and a block-specification-part.

Change `ImplicitRules` to have a parent that is consulted when there isn't
an answer in the current one. For an interface body that does not happen
but for all other nested scopes it does. This parent link eliminates the
need for the `implicitRules_` stack. Make `isImplicitNoneType_` and
`isImplicitNoneExternal_` optional: not set means look in parent.
Fixes flang-compiler/f18#71.

Remove `CurrNonTypeScope()` and put the logic in `Symbol::FindSymbol`.

Original-commit: flang-compiler/f18@a153a2ee33ff493df6d4fb5e20d99d302d76ab43
Reviewed-on: https://github.com/flang-compiler/f18/pull/169
Tree-same-pre-rewrite: false

[flang] Merge pull request flang-compiler/f18#171 from flang-compiler/easdd2

Design document for label resolution pass

Original-commit: flang-compiler/f18@3e97e7922ef059d28381ced326c19813cea356f7
Reviewed-on: https://github.com/flang-compiler/f18/pull/171

[flang] Add the detailed design for label resolution

Original-commit: flang-compiler/f18@89c4b70b55082dc3c6518af4c37a0738bcbcee06
Reviewed-on: https://github.com/flang-compiler/f18/pull/171

[flang] Merge pull request flang-compiler/f18#167 from flang-compiler/tsk1

Implement host association and import statements

Original-commit: flang-compiler/f18@354a594b0b015e466dcaf7dca6d54151e1d0b144
Reviewed-on: https://github.com/flang-compiler/f18/pull/167

[flang] Add common::ImportKind

Replace parser::ImportStmt::Kind and semantics::Scope::ImportKind with a
single enum class in common/fortran.h. This eliminates the need to map
between the parser enum and the semantics enum.

Original-commit: flang-compiler/f18@779a99314c69c44e5a76cd9bd3d1833b870ef348
Reviewed-on: https://github.com/flang-compiler/f18/pull/167

[flang] Address review comments

Original-commit: flang-compiler/f18@c30cbc8158c308902293877402554d052cbe2ac4
Reviewed-on: https://github.com/flang-compiler/f18/pull/167
Tree-same-pre-rewrite: false

[flang] Add another host-associate test

Verify that a derived type component does not hide a type of the same
name in its host.

Original-commit: flang-compiler/f18@212d84cb2f555ae77fae6b5724266ea894250bd1
Reviewed-on: https://github.com/flang-compiler/f18/pull/167
Tree-same-pre-rewrite: false

[flang] Code cleanup

`CurrScope()` is now a simple accessor with no logic, so rename to `currScope()`.

`PushScope()` doesn't need to return a `Scope&` and the other functions
with that name do not, so make it consistent.

Original-commit: flang-compiler/f18@c8c341be14b4e72e1787529e354648bef4ca4e0d
Reviewed-on: https://github.com/flang-compiler/f18/pull/167
Tree-same-pre-rewrite: false

[flang] Add missing copyrights.

Original-commit: flang-compiler/f18@a9346a588aa8031e4f74906f33934444503d7747
Reviewed-on: https://github.com/flang-compiler/f18/pull/167
Tree-same-pre-rewrite: false

[flang] Implement host association and import statements

Host association is done by search for symbols using `Scope::FindSymbol()`
which looks for the the name in the parent scope if the import rules
permit it.

Import statements are implemented using `importKind_` and `importNames_`
in class `Scope`. Most of the constraints are checked when the
`ImportStmt` is encountered. `CheckImports()` is called at the end of
the `SpecificationPart` to verify the names mentioned in the IMPORT
statement. That has to happen then so that we can detect if an imported
name is hidden by a declaration in the current scope.

Original-commit: flang-compiler/f18@0d50c8a8ba12692e6246c4e1a8a098f2850aba3a
Reviewed-on: https://github.com/flang-compiler/f18/pull/167
Tree-same-pre-rewrite: false

[flang] Replace scope stack with current scope

We don't need to manage a stack of scopes: each scope has a reference to
its parent, so popping the scope stack is equivalent to setting the
new current scope to the parent of the old current scope.

Original-commit: flang-compiler/f18@022aa7a7f9d09ee96db6ec9a025afb6bcf99cc55
Reviewed-on: https://github.com/flang-compiler/f18/pull/167
Tree-same-pre-rewrite: false

[flang] Collect names of internal subprograms of a MainProgram

... as is done for other internal subprograms.

Original-commit: flang-compiler/f18@079f45d51b64bcee1197c65201dc66d14ee7c08c
Reviewed-on: https://github.com/flang-compiler/f18/pull/167
Tree-same-pre-rewrite: false

[flang] Merge pull request flang-compiler/f18#166 from flang-compiler/pmk1

fix sloppy merge (sorry)

Original-commit: flang-compiler/f18@c3957893cbcfc9e00e9f184b4c9bf3251796f5a0
Reviewed-on: https://github.com/flang-compiler/f18/pull/166

[flang] fix sloppy merge (sorry)

Original-commit: flang-compiler/f18@b475721e09969cc5ac287159dbb6e342ce89fa9d
Reviewed-on: https://github.com/flang-compiler/f18/pull/166

[flang] Merge pull request flang-compiler/f18#165 from flang-compiler/pmk0

Expression analysis and message clean-up

Original-commit: flang-compiler/f18@9fa1c429f164500c83af35b55d89324fd67e7e46
Reviewed-on: https://github.com/flang-compiler/f18/pull/165

[flang] Canonicalize nonstandard BOZ literals to avoid spurious parse/unparse/reparse/unparse failures.

Original-commit: flang-compiler/f18@d651990632d1cd52ece98de00689a4bfebeb4af0
Reviewed-on: https://github.com/flang-compiler/f18/pull/165

[flang] More expression analysis of literal constants.

Original-commit: flang-compiler/f18@3c89dace19fe5585d738fe36fa75fea98e541837
Reviewed-on: https://github.com/flang-compiler/f18/pull/165
Tree-same-pre-rewrite: false

[flang] Add data to a new formatted message.

Original-commit: flang-compiler/f18@04b1ae9e68cb5e21393e834229bb6964169fee29
Reviewed-on: https://github.com/flang-compiler/f18/pull/165
Tree-same-pre-rewrite: false

[flang] Clean up messaging: make Say() member function templates more flexible, hide MessageFormattedText instances

Original-commit: flang-compiler/f18@59d774382f859acd06341a1d407b4e2fe7c975f7
Reviewed-on: https://github.com/flang-compiler/f18/pull/165
Tree-same-pre-rewrite: false

[flang] Expression analysis

Original-commit: flang-compiler/f18@6b5e23ba28943f510a23a47daeb43d3a5dff72c2
Reviewed-on: https://github.com/flang-compiler/f18/pull/165
Tree-same-pre-rewrite: false

[flang] Merge pull request flang-compiler/f18#164 from flang-compiler/tsk9

Module file improvements

Original-commit: flang-compiler/f18@61598b59b83125d309eb0db83d32706d64fe785b
Reviewed-on: https://github.com/flang-compiler/f18/pull/164

[flang] Address review comments.

Original-commit: flang-compiler/f18@797ea41e1772653f3b08f28d00fe4d7c1ff6fc96
Reviewed-on: https://github.com/flang-compiler/f18/pull/164

[flang] Module file improvements

Verify that checksums are correct when reading a module file.

Don't write a module file if its current contents are correct.

Don't make .mod files read-only. It doesn't do much to prevent
users from editing them, checksum verification will detect when
it happens, and having them read-only causes problems if you then
compile with another compiler (e.g. PGI).

Original-commit: flang-compiler/f18@21d82aef6e8836f4cc0736d4eb2b59abdfa6fbc0
Reviewed-on: https://github.com/flang-compiler/f18/pull/164
Tree-same-pre-rewrite: false

[flang] Merge pull request flang-compiler/f18#162 from flang-compiler/pmk0

Roll up work on folding, descriptors, runtime, RESHAPE

Original-commit: flang-compiler/f18@967a334d72b1dac6107e609bf9130c1dcd4e609d
Reviewed-on: https://github.com/flang-compiler/f18/pull/162

[flang] address review comments

Original-commit: flang-compiler/f18@a98942e396bc035aa1f1f886a271458b6ad0c63f
Reviewed-on: https://github.com/flang-compiler/f18/pull/162

[flang] Remove defined assignments from runtime representation.

Original-commit: flang-compiler/f18@720e71c5db1fe728ed6f613c2502c4e60516e050
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] Rename some NaNs.

Original-commit: flang-compiler/f18@34eac17ddc11e83991e80ffe4f4937382ce07674
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] clean up g++ 8.2.0 build warnings

Original-commit: flang-compiler/f18@0c946bef66c2d3d56c55cf700c0eb6335a7ffbad
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] test and debug RESHAPE

Original-commit: flang-compiler/f18@c20ce350c1ecd4a41705445395cca50848bc57df
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] Implement and test RESHAPE.  Avoid G++ workaround when compiled with GNU 8.2.0.

Original-commit: flang-compiler/f18@80257ee0d2747796675e21975849125b0c0a6f4e
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] Move descriptor flags into addendum.

Original-commit: flang-compiler/f18@f5839874efe072cdb6b542f7a156d5d4b0785d08
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] Use a common enum class in evaluate and runtime for type category.

Original-commit: flang-compiler/f18@5012e652af7dd7d053612f9d27069e90e3fb878e
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] break up runtime into multiple headers and source files

Original-commit: flang-compiler/f18@7863350552490d873383c8c7b5877778f28599f6
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] more descriptor work

Original-commit: flang-compiler/f18@0ab17048ed042b1280729b2995b6140d843dccbe
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] comments

Original-commit: flang-compiler/f18@b4423e3b1c127854a6f391113e21bf32f0f94a30
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] checkpoint work on descriptors

Original-commit: flang-compiler/f18@5e68ebea25c2c1bef73270bf8d43144cd9d59c9f
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] character folding

Original-commit: flang-compiler/f18@5adc208bf28a10a42b013104309e4f03e854d5cc
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] complex and character comparisons

Original-commit: flang-compiler/f18@77ed88d24f8d53624abe6587cc1198e63cccb147
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] Use std::nullopt in place of empty braces in return statements.

Original-commit: flang-compiler/f18@90e556301c47c953e13900974dd5175d07bcc8ad
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] COMPLEX folding

Original-commit: flang-compiler/f18@6f1ef45b2f3172487281f071196c36e8afcf60cc
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] fold real**int

Original-commit: flang-compiler/f18@2dc2c2a6a52d506d74354664015ae37645f11fa2
Reviewed-on: https://github.com/flang-compiler/f18/pull/162
Tree-same-pre-rewrite: false

[flang] Merge pull request flang-compiler/f18#163 from flang-compiler/pmk1

Restore buildability with clang

Original-commit: flang-compiler/f18@65c88ddf0fca05d5bffd1bee2d4fd29fa5c03a57
Reviewed-on: https://github.com/flang-compiler/f18/pull/163

[flang] Update README to reflect buildability with GCC 8.2.0.

Original-commit: flang-compiler/f18@f64a9f5b824b5fdff886a0f136681b71ab1f21fd
Reviewed-on: https://github.com/flang-compiler/f18/pull/163

[flang] Add virtual IntExpr::~IntExpr to silence Clang warning about non-virtual dtor in a class with virtual functions.

Original-commit: flang-compiler/f18@b024ba50e1020c05a1bbf63e997e09a2e20d54b8
Reviewed-on: https://github.com/flang-compiler/f18/pull/163
Tree-same-pre-rewrite: false

[flang] Merge pull request flang-compiler/f18#161 from flang-compiler/pmk1

issue#159 - better error messages in face of garbled source that resembles Hollerith

Original-commit: flang-compiler/f18@5aedd0d72c5f6352fc40f1a1993f822b4a5f8627
Reviewed-on: https://github.com/flang-compiler/f18/pull/161

[flang] Make prescanner tokenization message re: Hollerith truncation a warning, so parser get a shot at it.  Merge messages from failed parsing alternatives more informatively.

Original-commit: flang-compiler/f18@16ed01d8f372c6c64341dd793b454e37581fa83d
Reviewed-on: https://github.com/flang-compiler/f18/pull/161

[flang] Merge pull request flang-compiler/f18#160 from flang-compiler/tsk9

 Add support for submodules

Original-commit: flang-compiler/f18@79f3632fc2268db4334c79519a81010263c84854
Reviewed-on: https://github.com/flang-compiler/f18/pull/160

[flang] Changes based on review comments

Original-commit: flang-compiler/f18@fc4c0c39d528078afdd777b59a4d13eade08d348
Reviewed-on: https://github.com/flang-compiler/f18/pull/160

[flang] Make module files read-only.

Original-commit: flang-compiler/f18@c7752ab5fb8736991634ee068fdda59f1af28e71
Reviewed-on: https://github.com/flang-compiler/f18/pull/160
Tree-same-pre-rewrite: false

[flang] Add support for submodules

Symbols for submodules have `ModuleDetails` with `isSubmodule` set.
Scopes for submodules have `Module` kind and have a parent scope that
is also `Module` kind.

Scopes for modules now contain a mapping of submodule name to scope
so that we can find them without having to search the scope tree or
re-read their `.mod` file.

The module file for submodule `s` with ancestor module `m` is named `m-s.mod`.
The tree structure of scopes means module file writing is now recursive.
Similarly, reading the module file for a submodule may require reading
the module files of its parent and ancestor. `ResolveNames` now requires
the parent scope to be passed in -- it is not always the global scope.

`test_modfiles.sh` now handles an argument that is a filename glob so
that the test can involve multiple files. This allows `modfile09` to
test reading of `.mod` files for modules and submodules.

Original-commit: flang-compiler/f18@2e4424dbc8cc5803d561274dbf70005afe7e65dc
Reviewed-on: https://github.com/flang-compiler/f18/pull/160
Tree-same-pre-rewrite: false

[flang] Refactor to remove move semantics for Details

The classes in the Details union don't own resources so it makes things
simpler to copy them instead of moving. Same with ProcInterface.

Original-commit: flang-compiler/f18@d9ee19cbc4a8506ab1c34af22a096314782a3354
Reviewed-on: https://github.com/flang-compiler/f18/pull/160
Tree-same-pre-rewrite: false

[flang] Merge pull request flang-compiler/f18#156 from flang-compiler/pmk1

Better program unit END statement error recovery.

Original-commit: flang-compiler/f18@902054b88393d249e1899e932c5111ade1a59862
Reviewed-on: https://github.com/flang-compiler/f18/pull/156

[flang] Clean up end-of-statement error recovery.  And fix issue#157.

Original-commit: flang-compiler/f18@23d8368571d0d2caa913d2508d5f6c53306452b5
Reviewed-on: https://github.com/flang-compiler/f18/pull/156

[flang] Even better program unit END statement error recovery.

Original-commit: flang-compiler/f18@31f456ebc5c7ec1040776ac234f75c344021193f
Reviewed-on: https://github.com/flang-compiler/f18/pull/156
Tree-same-pre-rewrite: false

[flang] better program unit END statement error recovery

Original-commit: flang-compiler/f18@62799c88ff86bfa5d193e8efff20c26d3093a016
Reviewed-on: https://github.com/flang-compiler/f18/pull/156
Tree-same-pre-rewrite: false

[flang] Merge pull request flang-compiler/f18#155 from flang-compiler/pmk1

issue#153

Original-commit: flang-compiler/f18@bcac43a2c134d4900c7e2bf90de3e441a0e02cbd
Reviewed-on: https://github.com/flang-compiler/f18/pull/155

[flang] issue#153

Original-commit: flang-compiler/f18@64272abddd887d1559f5f8ea53d78c9352fccb24
Reviewed-on: https://github.com/flang-compiler/f18/pull/155

[flang] Merge pull request flang-compiler/f18#154 from flang-compiler/pmk2

issue#152 and a little clean-up

Original-commit: flang-compiler/f18@220c6eb2c88cab9a1dc1d2cfe9a01272c4681836
Reviewed-on: https://github.com/flang-compiler/f18/pull/154

[flang] issue#152 and a little clean-up

Original-commit: flang-compiler/f18@54d74dc1e81b1c22c76c47fd245284fbb88fec54
Reviewed-on: https://github.com/flang-compiler/f18/pull/154

[flang] Merge pull request flang-compiler/f18#151 from flang-compiler/pmk1

Tweaks to source provenance and messaging in support of module files

Original-commit: flang-compiler/f18@21bb12c9d6712e332939b334caeed9bb0d040c24
Reviewed-on: https://github.com/flang-compiler/f18/pull/151

[flang] Use std::nullopt rather than {}.

Original-commit: flang-compiler/f18@9a740acf8346de10c0dda34ba2706980f9643802
Reviewed-on: https://github.com/flang-compiler/f18/pull/151

[flang] address review comments

Original-commit: flang-compiler/f18@a18aba21fd74fd34debee09a3d566b86d8749f76
Reviewed-on: https://github.com/flang-compiler/f18/pull/151
Tree-same-pre-rewrite: false

[flang] add isModuleFile flag to parser::Options, use it

Original-commit: flang-compiler/f18@0727140f53cadad7740e524fd9300a1ca8b12044
Reviewed-on: https://github.com/flang-compiler/f18/pull/151
Tree-same-pre-rewrite: false

[flang] Let multiple CookedSource instances share a ref-counted AllSources.

Original-commit: flang-compiler/f18@98a170e3e58b8937dd5770d2e0303aa9750b6f84
Reviewed-on: https://github.com/flang-compiler/f18/pull/151
Tree-same-pre-rewrite: false

[flang] Support resolution of provenances in messages from CharBlocks to ProvenanceRanges

Original-commit: flang-compiler/f18@aa5728795976f7b6c9205d7ef3d87e649f8e10d9
Reviewed-on: https://github.com/flang-compiler/f18/pull/151
Tree-same-pre-rewrite: false

[flang] complete merge to current master

Original-commit: flang-compiler/f18@ca43f45616397d92ed9e8dae3445edaa81089876
Reviewed-on: https://github.com/flang-compiler/f18/pull/151
Tree-same-pre-rewrite: false

[flang] fix double deallocation bug from previous commit

Original-commit: flang-compiler/f18@f216b6bb822bc230c40521d5444870add13eeeb1
Reviewed-on: https://github.com/flang-compiler/f18/pull/151
Tree-same-pre-rewrite: false

[flang] Tweaks to provenance data structures, in preparation for better module file support.

Original-commit: flang-compiler/f18@a7b7b2b6801aa8beadde3d05a29d40057a5f264e
Reviewed-on: https://github.com/flang-compiler/f18/pull/151
Tree-same-pre-rewrite: false

[flang] Merge pull request flang-compiler/f18#149 from flang-compiler/tsk5

Refactor ModFileReader to use parser::Parsing

Original-commit: flang-compiler/f18@451e9e4ee45304e8aaad828cf6a87844d6be8f40
Reviewed-on: https://github.com/flang-compiler/f18/pull/149

[flang] Remove unnecessary unique_ptr.

The unique_ptr around the vector of char was unnecessary. We can just
move the vector itself and it still keeps the same stream of chars.

Original-commit: flang-compiler/f18@24672adba9fb38703cc88b2b7ff35b6c8824e918
Reviewed-on: https://github.com/flang-compiler/f18/pull/149

[flang] Change how cooked source is saved

Rather than save the entire CookedSource object in the module scope,
all we need is the vector of characters that CharBlock has references
into. This avoids the problem that CookedSource object has a dangling
reference to an AllSources object (which shouldn't be needed by the
CharBlocks in the symbol table, but is there).

This also decouples Scope from parser classes other than CharBlock.

Original-commit: flang-compiler/f18@fdbf5c841e9913009ba84ae0fe83b3021848bf5b
Reviewed-on: https://github.com/flang-compiler/f18/pull/149
Tree-same-pre-rewrite: false

[flang] Refactor ModFileReader to use parser::Parsing

parser::Parsing does most of the work needed to prescan and parse a file.
The only problem is that for module files we need to take ownership of
the cooked character stream so that it lives as long as the module scope
does.

To achieve this, change Parsing::cooked_ to be a unique_ptr and add a
member function to allow the caller to take ownership of it.

Original-commit: flang-compiler/f18@9088891ab29d91a51c55edb031b5a974cc8254b9
Reviewed-on: https://github.com/flang-compiler/f18/pull/149
Tree-same-pre-rewrite: false

[flang] Update README.md (flang-compiler/f18#150)

Corrected the URL  in README.md to point to the correct public URL for this repository.

Original-commit: flang-compiler/f18@7005e9ad7b9597e946dd8ea6bb40a978f8326e03
Reviewed-on: https://github.com/flang-compiler/f18/pull/150

[flang] Merge pull request flang-compiler/f18#147 from flang-compiler/tsk5

Add support for -module option

Original-commit: flang-compiler/f18@e3d4d7e6fdf8068c768ca806a5371ec48519a731
Reviewed-on: https://github.com/flang-compiler/f18/pull/147

[flang] Add support for -module option

The `-module` option specifies where to write module files. It is also
the first place search for modules files. The current options name and
behavior match PGI compilers.

To support this, reorganize `ModFileWriter` to be more like `ModFileReader`.
The gives the client a way to set the output directory and fetch the
error messages. A bunch of static member functions in `ModFileWriter`
were changed to non-member functions so they didn't need to be exposed
in `mod-files.h`.

Original-commit: flang-compiler/f18@2717846e81a6be325a6eaec73c22eae5a7cf6577
Reviewed-on: https://github.com/flang-compiler/f18/pull/147

[flang] Merge pull request flang-compiler/f18#146 from flang-compiler/pmk1

OpenMP conditional compilation lines

Original-commit: flang-compiler/f18@e02c561e008b6f194b829d835177e5c0dd39b5d9
Reviewed-on: https://github.com/flang-compiler/f18/pull/146

[flang] OpenMP conditional compilation lines

Original-commit: flang-compiler/f18@5602f7e041bf9d58bf88d5d86dc1900d102d899c
Reviewed-on: https://github.com/flang-compiler/f18/pull/146

[flang] Merge pull request flang-compiler/f18#145 from flang-compiler/tsk5

Implement reading of module files

Original-commit: flang-compiler/f18@2b36d4c650ed52dd18d14e76c7e54d1d73831ae0
Reviewed-on: https://github.com/flang-compiler/f18/pull/145

[flang] Implement reading of module files

When a use-stmt is encountered for a module that isn't in the global
scope, search for and read the appropriate `.mod` file. To perform the
search, pass the search directories in to ResolveNames.

For modules that were read from `.mod` files, we have to keep the cooked
source from being deleted so that the names so that references to names
stay valid. So we store the cooked source in the Scope of the module as
a `unique_ptr`.

Add `Symbol::Flag::ModFile` to distinguish module symbols that were read
from a `.mod` file rather than from the current compilation. Use it to
prevent writing those back out.

Fix test_errors.sh to run the compiler in the temp subdirectory --
otherwise tests could be affected by `.mod` files left from previous
tests.

Original-commit: flang-compiler/f18@207065999ce09ca7361aeb0262d1b8bf8cf4b99e
Reviewed-on: https://github.com/flang-compiler/f18/pull/145