[Ada] Fix internal error on string type comparision with predicate
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 21 May 2020 23:37:00 +0000 (01:37 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 8 Jul 2020 14:55:54 +0000 (10:55 -0400)
commita1014c8136a0d23408e83620ee7d12be0ab27831
tree03aeddfe37e0e5cf377a1f68327953a2f96b4292
parent1567ebf93abda477cf1d7e1f88d89cd0b875a1b6
[Ada] Fix internal error on string type comparision with predicate

gcc/ada/

* freeze.adb (Has_Decl_In_List): New predicate to check that an
entity is declared in a list of nodes.
(Freeze_Expression): Use it to deal with Expression_With_Actions,
short-circuit expression, if- and case-expression and ensure that
the freeze node is put onto their Actions list if the entity is
declared locally.
gcc/ada/freeze.adb