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

Semantic analysis of expressions (work in progress)

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

[flang] Resolve recent NAG failures better, more clean-up, ready for merge.

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

[flang] Fix recent regression on NAG tests found during pre-merge testing

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

[flang] Repair CMakeLists.txt after accidentally clang-formatting it

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

[flang] Add "explicit" to constructors, define Type<TypeCategory::Derived>

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

[flang] Merge with current master, address early review comments.

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

[flang] remove unused code

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

[flang] clean up for review

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

[flang] array references

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

[flang] automate analysis of expression parse tree types that are wrappers/unions

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

[flang] cleaning up TODOs

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

[flang] LOGICAL operations

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

[flang] add left(), right(), and comments

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

[flang] mixed Complex; removed BOZConstant in favor of converting in place

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

[flang] mixed z+i, z+r expressions

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

[flang] Finish typeless casting

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

[flang] more operators

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

[flang] restructure work in progress in semantics/expression.cc; checkpoint before finishing operators

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

[flang] checkpoint

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

[flang] cleanup

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

[flang] checkpoint - building again now with all compilers

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

[flang] checkpoint once g++ can build again

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

[flang] merge with master, add comments

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

[flang] continue refactoring

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

[flang] CombineVariants

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

[flang] work on numeric operations

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

[flang] Replace FOR_EACH_... macro cruft with safer template metaprogramming.

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

[flang] Remove GenericExpr, move operator overloads to tools.h

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

[flang] complex extraction of operator classes

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

[flang] checkpoint

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

[flang] checkpoint with clang workaround

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

[flang] checkpoint

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

[flang] expression analysis

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

[flang] More cleaning

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

[flang] Extirpate expression-forward.h

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

[flang] Refactoring and renaming

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

[flang] clean up naming in expressions and types

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

[flang] checkpoint

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

[flang] Expression analysis checkpoint

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

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

Improve error message for "type already declared"

Original-commit: flang-compiler/f18@46b68921531f13a1ecf70e289ed22ec8b5e26c32
Reviewed-on: https://github.com/flang-compiler/f18/pull/179

[flang] Improve error message for "type already declared"

Add reference to the statement where the type was first set.

Original-commit: flang-compiler/f18@911c90e99ee43e4e221d0b5ffd8a76c82390c153
Reviewed-on: https://github.com/flang-compiler/f18/pull/179

[flang] Merge pull request flang-compiler/f18#182 from flang-compiler/tsk2

Simplify representation of intrinsic types

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

[flang] The default kind of complex is the same as that of real.

Original-commit: flang-compiler/f18@16080c06746194c9e51daf14ae649342d4c0683a
Reviewed-on: https://github.com/flang-compiler/f18/pull/182

[flang] Simplify representation of intrinsic types

Intrinsic types are now just a TypeCategory and a int kind. If no kind
is specified the default is used so that every type has an explicit
kind. This caused changes in the expected results of some of the tests.

Add support for "double precision" and "double complex".

Intrinsic types are now stored as values in DeclTypeSpec so none of the
KindedTypeHelper machinery is needed any more.

Eliminate DerivedTypeDef, DataComponentDef, ProcComponentDef,
TypeBoundProc. The components and bindings of a derived type are now
represented by the corresponding Scope.

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

[flang] Merge pull request flang-compiler/f18#181 from flang-compiler/eas6

Issue flang-compiler/f18#180 - Label vs. IntLiteralConstant

Original-commit: flang-compiler/f18@2350ed912873d17c897d5e4d08a583bb2edfaec7
Reviewed-on: https://github.com/flang-compiler/f18/pull/181

[flang] Clean up dangling spaces

Original-commit: flang-compiler/f18@7a29dc617a45bd864c62b4da76eeda8f8d7fc235
Reviewed-on: https://github.com/flang-compiler/f18/pull/181

[flang] Fixes the Label vs. IntLiteralConstant issue flang-compiler/f18#180

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

[flang] Merge pull request flang-compiler/f18#170 from flang-compiler/easddd

Add label resolution initial pass implementation and tests

Original-commit: flang-compiler/f18@92a20cbdc9ec72a97ce0ea1f733b61ce1ae77de7
Reviewed-on: https://github.com/flang-compiler/f18/pull/170

[flang] tweak Legality

Original-commit: flang-compiler/f18@19834c65d7d5889932d139681eb200af98a0c603
Reviewed-on: https://github.com/flang-compiler/f18/pull/170

[flang] clang-format doesn't

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

[flang] Remove the strict F18 checking flag. Always check that program is
strictly conforming to F18, but demote errors to warnings when the
Fortran is legal under pre-F18 standards. If the Fortran is illegal
under F18 _and_ previous standards, then emit an error.

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

[flang] convert name to lowercase

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

[flang] More renaming

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

[flang] Fix a couple other spots clang-format missed

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

[flang] clang-format didn't clean up some of the code. delete std::make_pair call.

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

[flang] Simplify some of the if-return-else-return expansions while possibly
keeping things readable.

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

[flang] Fix globbing bug and return variable not being set

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

[flang] Per review:
Change initializer lists to use curlies.
Change uses of std::tuple to PODs & add ctors per compiler complaining.

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

[flang] More review comment actions.

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

[flang] Changes for the latest round of syntax change requests per the review.

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

[flang] ctest may require that the path be specified, so add it to the input file name.

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

[flang] remove emacs line

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

[flang] Changes per the review comments. The majority of the changes are simply
to rename identifiers to meet the project (not LLVM) coding standard.
Includes a home brew of FileCheck for testing.

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

[flang] Use is_same<> templates

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

[flang] Make use of is_same<>

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

[flang] Merge up to new Messages interface

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

[flang] Add label resolution design document, pass, and tests

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

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

Better error recovery and messages for PROCEDURE components (issue#174)

Original-commit: flang-compiler/f18@31c258ae68a0fd4fe9413d33edb6be1dae1af482
Reviewed-on: https://github.com/flang-compiler/f18/pull/178

[flang] Restore mistakenly deleted call to nonemptyList()

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

[flang] Better error recovery and messages for PROCEDURE components

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

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

Write private symbols to .mod files

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

[flang] Miscellaneous name resolution

Handle BIND statement and PARAMETER statement. They are different from
other attribute-setting statements so some refactoring of
HandleAttributeStmt is required. And for PARAMETER, SetType needs to
report an error if the implicitly determined type is changed later. This
requires operator== on DeclTypeSpec.

Resolve names in allocate statements, pointer assignment statements,
substring expressions, and type parameter values.

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

[flang] Write private symbols to .mod files

We were trying to write only symbols that are part of the public API of
a module to the .mod file. The problem with that is that submodules need
access to the private symbols in their ancestor modules and submodules.

For now, just write out all of the symbols, private or otherwise.
We could be more precise by omitting some private symbols for modules
that don't have separate module procedures and so can't have submodules.

Also, the old implementation went into an infinite loop for recursive
derived types.

This makes CollectSymbols simpler, so have it do both the collecting and
sorting. Make it static so that the types don't have to be defined in
mod-file.h.

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

[flang] Ensure use of ObjectEntityDetails for data objects

A symbol is created with EntityDetails if we don't know whether it is a
procedure or data object. At the end of the specification part, if we
don't know it's a procedure then it must be an object, so convert it
then. So after name resolution there should be no symbols with
EntityDetails.

Also, a couple of small fixes:
- need to visit sub-nodes of shape specs so that any names get resolved
- don't report an error for an array element mis-parsed as a call

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

[flang] Code cleanup

Rename stmtFuncsToConvert to stmtFuncsToConvert_.
Make member functions out-of-line.

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

[flang] Fix bug in rewriting function calls

Arrays are now represented with ObjectEntityDetails, not EntityDetails.
So that's what we have to look for when rewriting function calls to
array element references.

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

[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