diff options
| author | Yannick Moy <moy@adacore.com> | 2018-05-21 14:50:59 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-21 14:50:59 +0000 |
| commit | e3822b0aae8c0756929e31c61330e941b17c8eb2 (patch) | |
| tree | b570a649c5151a1ba44a8bdbc8e464a1079c4fa1 /gcc/ada/sem_eval.adb | |
| parent | bcc093dc813c77d15a8d99ce063a45fa01c7ed73 (diff) | |
| download | gcc-e3822b0aae8c0756929e31c61330e941b17c8eb2.zip gcc-e3822b0aae8c0756929e31c61330e941b17c8eb2.tar.gz gcc-e3822b0aae8c0756929e31c61330e941b17c8eb2.tar.bz2 | |
[Ada] Spurious error in inlining for GNATprove on prefix call notation
During the special inlining done in GNATprove mode, a call in prefix
notation leads to a spurious error. Now fixed.
2018-05-21 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_ch6.adb (Analyze_Procedure_Call): Refine test to recognize prefix
call notation in inlined call in GNATprove mode.
From-SVN: r260454
Diffstat (limited to 'gcc/ada/sem_eval.adb')
0 files changed, 0 insertions, 0 deletions