diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-10-28 22:10:25 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-14 14:46:49 +0100 |
| commit | 35f29cfe9f6e48dc570d4cd61b906c3cbb2e227a (patch) | |
| tree | 4450fe440c3098e9778029215ecc86d800d99a30 /gcc/tree-vect-patterns.cc | |
| parent | fe02d7d9135083ed157886913b4a83ebc88e987c (diff) | |
| download | gcc-35f29cfe9f6e48dc570d4cd61b906c3cbb2e227a.zip gcc-35f29cfe9f6e48dc570d4cd61b906c3cbb2e227a.tar.gz gcc-35f29cfe9f6e48dc570d4cd61b906c3cbb2e227a.tar.bz2 | |
ada: Fix style in code for generic formal subprograms with contracts
Code cleanup related to expansion generic formal subprograms with
contracts for GNATprove.
gcc/ada/
* inline.adb (Replace_Formal): Tune whitespace.
* sem_ch12.adb (Check_Overloaded_Formal_Subprogram): Refine type
of a formal parameter and local variable; this routine operates on
nodes and not entities.
* sem_ch12.ads: Tune whitespace.
Diffstat (limited to 'gcc/tree-vect-patterns.cc')
0 files changed, 0 insertions, 0 deletions