tree 5c5dbb7466e1c77dbe1e539b53a2d088b78df09a
parent 44f5bf73fd82a39ee23eac99b58fa07e0595922c
author Peter Steinfeld <psteinfeld@nvidia.com> 1617646333 -0700
committer Copybara-Service <copybara-worker@google.com> 1618251856 -0700

[flang] Improve constant folding for type parameter inquiries

We were not folding type parameter inquiries for the form 'var%typeParam'
where 'typeParam' was a KIND or LEN type parameter of a derived type and 'var'
was a designator of the derived type.  I fixed this by adding code to the
function 'FoldOperation()' for 'TypeParamInquiry's to handle this case.  I also
cleaned up the code for the case where there is no designator.

In order to make the error messages correctly refer to both the points of
declaration and instantiation, I needed to add an argument to the function
'InstantiateIntrinsicType()' for the location of the instantiation.

I also changed the formatting of 'TypeParamInquiry' to correctly format this
case.  I also added tests for both KIND and LEN type parameter inquiries in
resolve104.f90.

Making these changes revealed an error in resolve89.f90 and caused one of the
error messages in assign04.f90 to be different.

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

GitOrigin-RevId: 8c7bf2f93da9b64b07509f67552d592a86260ff5