[flang] Update preprocessing document, commentary
authorpeter klausler <pklausler@nvidia.com>
Mon, 16 Sep 2019 23:58:13 +0000 (16:58 -0700)
committerpeter klausler <pklausler@nvidia.com>
Mon, 7 Oct 2019 18:01:46 +0000 (11:01 -0700)
commitb32a435b0b4f041cbb0150984fb97bb054559931
treecb4a16d1b4b8ec56a5df74ae1bb5c2735947d9a4
parent143fe7938324cd8cc027f58e286b55ff6735aa36
[flang] Update preprocessing document, commentary

Extend documentation on preprocessing

IsSimplyContiguous

basic skeleton

Apply suggested improvements to mod-file.cc

Checks for new call13.f90 (15.4.2.2 explicit interfaces)

Implement checking for procedures that can be called via an implicit interface

Argument checking, test fixing

Better argument checking

Better derived type compatibility checking

Treat externals as if implicitly interfaced

Extend IEEE_EXCEPTIONS module so tests still pass with argument checking

SAME_TYPE_AS and EXTENDS_TYPE_OF intrinsic inquiry functions

Define interfaces for most intrinsic subroutines

Better PASS arguments

More with PASS() argument

Prep for review

address comments

fix comment

Remove formatted expression from specification expression error message per review

more review comments

Original-commit: flang-compiler/f18@3cca775da9302e3a2acec4a34800cd7666899b5f
Reviewed-on: https://github.com/flang-compiler/f18/pull/776
36 files changed:
flang/documentation/Preprocessing.md
flang/lib/common/constexpr-bitset.h
flang/lib/evaluate/CMakeLists.txt
flang/lib/evaluate/call.cc
flang/lib/evaluate/characteristics.cc
flang/lib/evaluate/characteristics.h
flang/lib/evaluate/check-call.cc [new file with mode: 0644]
flang/lib/evaluate/check-call.h [new file with mode: 0644]
flang/lib/evaluate/check-expression.cc
flang/lib/evaluate/check-expression.h
flang/lib/evaluate/formatting.cc
flang/lib/evaluate/intrinsics.cc
flang/lib/evaluate/shape.h
flang/lib/evaluate/type.cc
flang/lib/evaluate/type.h
flang/lib/parser/prescan.cc
flang/lib/semantics/assignment.cc
flang/lib/semantics/expression.cc
flang/lib/semantics/expression.h
flang/lib/semantics/mod-file.cc
flang/lib/semantics/resolve-names.cc
flang/lib/semantics/symbol.cc
flang/lib/semantics/symbol.h
flang/lib/semantics/type.h
flang/module/ieee_arithmetic.f90
flang/module/ieee_exceptions.f90
flang/test/semantics/CMakeLists.txt
flang/test/semantics/call08.f90
flang/test/semantics/call13.f90 [new file with mode: 0644]
flang/test/semantics/doconcurrent01.f90
flang/test/semantics/expr-errors02.f90
flang/test/semantics/init01.f90
flang/test/semantics/modfile08.f90
flang/test/semantics/modfile10.f90
flang/test/semantics/modfile14.f90
flang/test/semantics/modfile15.f90