[Ada] Failure to detect trivial infinite recursion
authorHristian Kirtchev <kirtchev@adacore.com>
Fri, 5 Jul 2019 07:03:00 +0000 (07:03 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 5 Jul 2019 07:03:00 +0000 (07:03 +0000)
commitbe0443c30242995d615345d546987dace6ca1b07
treea83f130612558399f1b1db097cf147b002e12bb6
parentfe04f57a81366e5aaf0fec054d87919f6c243947
[Ada] Failure to detect trivial infinite recursion

This patch includes delay statements in the set of control flow
statements since their expressions may have side effects, which in turn
may affect an infinite recursion.

2019-07-05  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

* sem_res.adb (Is_Control_Flow_Statement): Delay statements
contain an expression, which in turn may have side effects and
affect the infinite recursion. As a result, delay statements
should not be treated specially.

From-SVN: r273118
gcc/ada/ChangeLog
gcc/ada/sem_res.adb