projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76b35e7) | patch
ada: Clean up code for visibility of generic actuals
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 12 Aug 2022 09:55:35 +0000 (11:55 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 7 Nov 2022 08:36:31 +0000 (09:36 +0100)
commit4e92ad48dcfdb726f72f35039c5c102a99bf7759
tree8988bccf4aed926b6ea986d7117fd11ed6850279tree | snapshot
parent76b35e7227f34e2ce18e50ca637c86d7a1c3ef49commit | diff
ada: Clean up code for visibility of generic actuals

Code cleanup related to fixing visibility of actual parameters in
inlining-for-proof in GNATprove mode; semantics is unaffected.

gcc/ada/

* sem_ch12.adb (Check_Generic_Actuals): Remove redundant parens;
refactor an excessive if-statement; remove repeated call to Node.
gcc/ada/sem_ch12.adb diff | blob | history
Domain: System / Toolchain;