[all-commits] [llvm/llvm-project] 4cbfd9: [flang] Make `TypeParamInquiry` monomorphic

[Peter Klausler via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 4cbfd93a591a2e861bb69dfe896a7cff41931c05
      https://github.com/llvm/llvm-project/commit/4cbfd93a591a2e861bb69dfe896a7cff41931c05
  Author: peter klausler <pklausler at nvidia.com>
  Date:   2020-08-31 (Mon, 31 Aug 2020)

  Changed paths:
    M flang/include/flang/Evaluate/expression.h
    M flang/include/flang/Evaluate/shape.h
    M flang/include/flang/Evaluate/traverse.h
    M flang/include/flang/Evaluate/variable.h
    M flang/lib/Evaluate/check-expression.cpp
    M flang/lib/Evaluate/fold-implementation.h
    M flang/lib/Evaluate/fold-integer.cpp
    M flang/lib/Evaluate/formatting.cpp
    M flang/lib/Evaluate/variable.cpp
    M flang/lib/Lower/ConvertType.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/test/Semantics/kinds03.f90
    M flang/test/Semantics/modfile17.f90
    M flang/test/Semantics/modfile22.f90
    M flang/test/Semantics/modfile33.f90
    M flang/test/Semantics/symbol17.f90

  Log Message:
  -----------
  [flang] Make `TypeParamInquiry` monomorphic

Change the expression representation TypeParamInquiry from being
a class that's templatized on the integer KIND of its result into
a monomorphic representation that results in a SubscriptInteger
that can then be converted.

This is a minor simplification, but it's worth doing because
it is believed to also be a work-around for bugs in the MSVC
compiler with overload resolution that affect the expression
traversal framework.

Differential Revision: https://reviews.llvm.org/D86551