projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0a16e6) | patch
[Ada] Wrong freezing for expression function with contracts in a generic
authorArnaud Charlet <charlet@adacore.com>
Thu, 9 Jul 2020 09:36:18 +0000 (05:36 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 19 Oct 2020 09:53:39 +0000 (05:53 -0400)
commit44ecd94cc7daf60ed04a81107c8d52c23cfef84d
treef31c15254dbde216d8d5cb3318c52d6bbd165df9tree
parentb0a16e6d4c91120dd9a2900da0831e83e65f2046commit | diff
[Ada] Wrong freezing for expression function with contracts in a generic

gcc/ada/

* contracts.adb (Process_Preconditions_For): Do not exclude
instances.
* sem_ch4.adb (Analyze_Quantified_Expression): Disable spurious
warning on internally generated variables.
gcc/ada/contracts.adb diff | blob | history
gcc/ada/sem_ch4.adb diff | blob | history