projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bcc093d) | patch
[Ada] Spurious error in inlining for GNATprove on prefix call notation
authorYannick Moy <moy@adacore.com>
Mon, 21 May 2018 14:50:59 +0000 (14:50 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 21 May 2018 14:50:59 +0000 (14:50 +0000)
commite3822b0aae8c0756929e31c61330e941b17c8eb2
treeb570a649c5151a1ba44a8bdbc8e464a1079c4fa1tree
parentbcc093dc813c77d15a8d99ce063a45fa01c7ed73commit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history