projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e378df6) | patch
[Ada] Freeze aspect expression relocated to pragma Precondition
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 12 May 2020 19:17:08 +0000 (21:17 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 7 Jul 2020 09:26:57 +0000 (05:26 -0400)
commit2e724314af6587d9833bc0ec1b10c9e24206b311
treead836518c934cf0419a48ca9eafe3548c5cd83c7tree
parente378df6d39e76bc5cdc56b3d7c8c57601fe8d6c0commit | diff
[Ada] Freeze aspect expression relocated to pragma Precondition

gcc/ada/

* contracts.adb (Analyze_Entry_Or_Subprogram_Contract,
Process_Preconditions_For): Freeze expression that has been
relocated to pragma Precondition, not the expression which is
still in the aspect.
gcc/ada/contracts.adb diff | blob | history