diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-12 21:17:08 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-07 05:26:57 -0400 |
| commit | 2e724314af6587d9833bc0ec1b10c9e24206b311 (patch) | |
| tree | ad836518c934cf0419a48ca9eafe3548c5cd83c7 /libcpp/files.c | |
| parent | e378df6d39e76bc5cdc56b3d7c8c57601fe8d6c0 (diff) | |
| download | gcc-2e724314af6587d9833bc0ec1b10c9e24206b311.zip gcc-2e724314af6587d9833bc0ec1b10c9e24206b311.tar.gz gcc-2e724314af6587d9833bc0ec1b10c9e24206b311.tar.bz2 | |
[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.
Diffstat (limited to 'libcpp/files.c')
0 files changed, 0 insertions, 0 deletions