]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Fix internal error on if-expression in call returning tagged type
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 25 May 2020 21:27:46 +0000 (23:27 +0200)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:17:08 +0000 (13:17 -0300)
commit0810cdbadd8947592e71ebf65164cb5f5dcfc8bc
tree36bc8ebc83e797392bad2558bd2e701ebce01f25
parent77a61b51dcc443dc8831b24a0f094757e4c7c7d9
[Ada] Fix internal error on if-expression in call returning tagged type

gcc/ada/

* checks.adb (Determine_Range): Deal with Min and Max attributes.
* exp_ch6.adb (Expand_Call_Helper): When generating code to pass
the accessibility level to the caller in the case of an actual
which is an if-expression, also remove the nodes created after
the declaration of the dummy temporary.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Use Natural as
the type of the minimum accessibility level object.
gcc/ada/checks.adb
gcc/ada/exp_ch6.adb
gcc/ada/sem_ch6.adb