projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea56c18) | patch
[Ada] Refactor appending to possibly empty lists
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 18 Aug 2020 09:49:35 +0000 (11:49 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 22 Oct 2020 12:11:23 +0000 (08:11 -0400)
commitcda800dd90c3dcc6452b0567c62327c651c628dd
tree30852f13a86ad09a14f06ac7a1c2f4b5a5c39360tree
parentea56c18c501657906e72a693dba7775b2f39a004commit | diff
[Ada] Refactor appending to possibly empty lists

gcc/ada/

* exp_prag.adb (Expand_Pragma_Contract_Cases,
Expand_Pragma_Loop_Variant): Reuse Append_New_To.
* sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Fix typo.
(Analyze_Pre_Post_Condition): Refactor repeated calls to
Defining_Entity.
gcc/ada/exp_prag.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history