diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2019-07-05 07:03:00 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-05 07:03:00 +0000 |
| commit | be0443c30242995d615345d546987dace6ca1b07 (patch) | |
| tree | a83f130612558399f1b1db097cf147b002e12bb6 /gcc/tree-ssa-alias.h | |
| parent | fe04f57a81366e5aaf0fec054d87919f6c243947 (diff) | |
| download | gcc-be0443c30242995d615345d546987dace6ca1b07.zip gcc-be0443c30242995d615345d546987dace6ca1b07.tar.gz gcc-be0443c30242995d615345d546987dace6ca1b07.tar.bz2 | |
[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
Diffstat (limited to 'gcc/tree-ssa-alias.h')
0 files changed, 0 insertions, 0 deletions