tree da9ef80b8cf4c8c90c8d42bc4e70903a0ad3a909
parent 45f96de2d901871bddafeed82aa8fb69bbab70f7
author Peter Steinfeld <psteinfeld@nvidia.com> 1616684659 -0700
committer Copybara-Service <copybara-worker@google.com> 1618251803 -0700

[flang] Fix CHECK() calls on erroneous procedure declarations

When writing tests for a previous problem, I ran across situations where the
compiler was failing calls to CHECK().  In these situations, the compiler had
inconsistent semantic information because the programs were erroneous.  This
inconsistent information was causing the calls to CHECK().

I fixed this by avoiding the code that ended up making the failed calls to
CHECK() and making sure that we were only avoiding these situations when the
associated symbols were erroneous.

I also added tests that would cause the calls to CHECK() without these changes.

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

GitOrigin-RevId: a7afc8a51471bdfd0c597f8e885dbddada7f590a