[flang] basic skeleton of assignment analyzer
authorpeter klausler <pklausler@nvidia.com>
Tue, 4 Dec 2018 18:55:32 +0000 (10:55 -0800)
committerpeter klausler <pklausler@nvidia.com>
Thu, 17 Jan 2019 18:41:08 +0000 (10:41 -0800)
commitbe3b765e2aded4e2a6be603564094534fdf4f6b9
tree54f7235c392d621f25197bee20b52f9b383354ac
parent3035fc25a7503c86caf435ef0e0454a33989bbf6
[flang] basic skeleton of assignment analyzer

remove needless template<> on some function overloads

dodge bogus compiler warning from gcc 8.1.0 only

stricter typing of expressions in symbols

adjust modfile12.f90 expected test results

add Unwrap, massage folding a bit

Use Unwrap to simplify folding

Move KindSelector analysis into expression semantics

fix crash

checkpoint

updates to TypeParamInquiry

support of %KIND type parameter inquiry

equality testing for expressions

checkpoint during PDT implementation

reformat

checkpoint derived type instantiation

checkpoint

resolve merge

debugging failed tests

fix failing resolve37.f90 test

all existing tests pass

clean up all build warnings

fix bug

update copyright dates

fix copyright dates

address review comments

review comment

merge with master after peeling off changes

bugfixing new feature

fix warning from old g++s

tweaks after merging with latest head

more bugfixing

making modfile17.f90 test work

Make kinds into expressions in symbol table types

big refactor for deferring kinds in intrinsic types

modfile17.f90 test passes

clean up TODOs

Simplify types as stored in scopes

Test KIND parameter default init expressions, debug them

Update copyright dates

address comments

remove dead line

address comments

Original-commit: flang-compiler/f18@1f43d0a04813dc02909e9952ee479d13f630df4c
Reviewed-on: https://github.com/flang-compiler/f18/pull/260
Tree-same-pre-rewrite: false
29 files changed:
flang/lib/evaluate/call.h
flang/lib/evaluate/fold.cc
flang/lib/evaluate/fold.h
flang/lib/evaluate/intrinsics.cc
flang/lib/evaluate/type.cc
flang/lib/evaluate/variable.cc
flang/lib/evaluate/variable.h
flang/lib/parser/parse-tree-visitor.h
flang/lib/semantics/assignment.cc
flang/lib/semantics/assignment.h
flang/lib/semantics/dump-parse-tree.h
flang/lib/semantics/expression.cc
flang/lib/semantics/expression.h
flang/lib/semantics/resolve-names.cc
flang/lib/semantics/scope.cc
flang/lib/semantics/scope.h
flang/lib/semantics/semantics.cc
flang/lib/semantics/symbol.cc
flang/lib/semantics/symbol.h
flang/lib/semantics/type.cc
flang/lib/semantics/type.h
flang/test/semantics/CMakeLists.txt
flang/test/semantics/kinds01.f90 [new file with mode: 0644]
flang/test/semantics/kinds02.f90 [new file with mode: 0644]
flang/test/semantics/kinds03.f90 [new file with mode: 0644]
flang/test/semantics/modfile12.f90
flang/test/semantics/modfile17.f90 [new file with mode: 0644]
flang/test/semantics/resolve37.f90
flang/test/semantics/symbol09.f90